Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / narteche / QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/narteche%2FQBDef
Stars: 1
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: Python
Repo Size: 36.7 MB
Dependencies: pending
Created: over 4 years ago
Updated: almost 4 years ago
Last pushed: almost 4 years ago
Last synced: about 1 year ago
Topics: family, formal-language, formulas, parser, qbf, qbf-instances, sat