Published May 22, 2025 | Version v1
Dataset Open

Formal Methods Playground SMT-LIB Dataset

Creators

  • 1. ROR icon Bauhaus-Universität Weimar

Description

This is the FMP_smt  dataset containing SMT-LIB scripts edited and analyzed on the Formal Methods Playground at https://play.formal-methods.net/.

 

Each entry of the dataset contains:
  • id: the unique identifier of the entry
  • parent: the parent of the entry
  • code:  the complete code of the script
  • permalink: the permalink to the model in the Formal Methods Playground.
    • can be accessed by appending to the URL:  https://play.formal-methods.net/?check=SMT&p=<permalink>
  • time: the timestamp of the entry

Files

fmp_smt.json

Files (43.7 MB)

Name Size Download all
md5:5e6fd34f371da8decfd0cfd625720966
43.7 MB Preview Download

Additional details

Software

Repository URL
https://github.com/se-buw/fm-playground
Programming language
TypeScript, Python, SMT