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
GitHub
101 build(s) found
Page 2 of 2 | Showing build(s) 101 to 101
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.15 | 16530 | 2019-12-25 13:56:50 | 0:01:33 | 1717 | failed install-port |