aboutsummaryrefslogtreecommitdiff
path: root/academic/cryptominisat/cryptominisat.info
AgeCommit message (Expand)Author
2024-03-19academic/cryptominisat: Updated for version 5.11.21.alaNOn_aversa@lavabSPAMit.com
2022-10-15academic/cryptominisat: Updated for version 5.11.3.Alan Aversa
2020-05-10academic/cryptominisat: Updated for version 5.7.1.Alan Aversa
2019-03-24academic/cryptominisat: Updated for version 5.6.8.Alan Aversa
2018-12-26academic/cryptominisat: Fix MD5SUM.Willy Sudiarto Raharjo
2018-12-22academic/cryptominisat: Updated for version 5.6.6.Alan Aversa
2018-09-14academic/cryptominisat: Added (SAT solver).Alan Aversa