sbsat packages - Repology

Versions Packages Information History Badges Report

1 package(s) known

sbsat

2.7b

Summary:
A state-based Satisfiability solver.
Maintainers:
- snc@macports
- nerdling@github
Category:
- science
License:
- Permissive
Link(s):