| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-02-28 | Remove mentions of tcl/tk/itcl/itk files that have been removed | Julie Schwartz |
| 2020-02-06 | Remove CUDD 2.5.0 SAT solver (and BSC -sad-cudd option) | Brian Foley |
| 2020-01-31 | Initial release of BSC as open source | Julie Schwartz |
 |
index : github/bsc.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |