sbsat (science/sbsat) Add to my watchlist
A state-based Satisfiability solver.SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.
Version: 2.7b License: Permissive![](/static/images/github.png)
Statistics for selected duration
2024-Jun-27 to 2024-Jul-27
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.