pypi.org : veribool
Verify various properties of boolean expressions using a concise DSL.
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/veribool
Keywords:
compiler
, verification
, dsl
, boolean
, logic
License: Other
Latest release: 9 months ago
First release: 9 months ago
Downloads: 68 last month
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago
Loading...
Readme
Loading...