Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
v0.7.6
356b7468
·
fix errors and warnings in different build modes
·
Aug 17, 2023
v0.7.5
c48d53dc
·
remove duplicate checking in CDCL loop, add variable coverage statistic
·
Aug 06, 2023
v0.7.4
aa72b9a6
·
fix embedded array syntax, due to weird warnings
·
Aug 05, 2023
v0.7.3
e34ffe47
·
performance improvements
·
Jul 16, 2023
v0.7.2
2aeeb753
·
improve IPASIR
·
Jul 10, 2023
v0.7.1
776104d7
·
small fixes all over, finish IPASIR support
·
Jul 10, 2023
v0.7.0
a81b0a33
·
fastest SAT solver in the west, finally fixed learning and the unit queue!!!
·
Jul 10, 2023
v0.6.0
49d60146
·
small fix at top-level CDCL learning, add check script using other solver and...
·
Jul 10, 2023
v0.5.1
8f64585c
·
fix small memory leaks
·
Jul 05, 2023
v0.5.0
91398e08
·
major performance improvements, implement glucose level, implement EMA dynamic restarting
·
Jul 05, 2023
v0.4.0
55d26674
·
fix version number
·
Jun 29, 2023
v0.3.0
470a3d7f
·
many many improvements, performance, better UIP, heuristics, analysis
·
Jun 18, 2023
v0.2.0
0f59f31a
·
set solver version to 0.2.0
·
Jun 16, 2023