An open API service indexing awesome lists of open source software.

https://github.com/filipeom/queries

SMT Query Dataset
https://github.com/filipeom/queries

smt solvers yices2 z3

Last synced: 4 months ago
JSON representation

SMT Query Dataset

Awesome Lists containing this project

README

        

# Queries dataset

- Collections-C dataset:
- Two versions: Batch mode and Incremental mode
- Generated queries: 6,702