aboutsummaryrefslogtreecommitdiff
path: root/COPYING
AgeCommit message (Expand)Author
2021-08-18Mention the GitHub contributors in COPYINGJulie Schwartz
2021-03-16Unify the bsc and bsc-testsuite license/copyright infoJulie Schwartz
2020-03-18Fix typoBrian Foley
2020-03-01Update COPYING with changes to STP/Yices locationsJulie Schwartz
2020-02-28Remove mentions of tcl/tk/itcl/itk files that have been removedJulie Schwartz
2020-02-07Fix the location of Parsec in COPYINGJulie Schwartz
2020-02-06Remove CUDD 2.5.0 SAT solver (and BSC -sad-cudd option)Brian Foley
2020-01-31Initial release of BSC as open sourceJulie Schwartz