DifferenceLogic
A theory solver for difference logic
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 11 years ago
0.1.0.4
over 11 years ago
Versions
3
3
Downloads
2,914 total
2,914 total
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/DifferenceLogic
spec |
| License | BSD-3-Clause |
| First Release | over 11 years ago |
| Last Synced | 2 days ago |
Repository
| Stars | 2 on GitHub |
| Forks | 1 on GitHub |