← Back to sat-d
| 1.0.2 | 2021-Nov-03 |
| 1.0.1 | 2021-Aug-24 |
| 1.0.0 | 2021-Aug-03 |
| ~master | 2021-Nov-03 |
| ~remove-history-2 | 2020-Oct-07 |
| ~remove-history | 2020-Sep-26 |
| ~remove-availClauses | 2020-Dec-07 |
| ~graph-mode | 2021-Jan-10 |
| ~fastcdcl | 2020-Sep-30 |
| ~cdcl-disposed | 2020-Jul-15 |
| ~cdcl | 2020-Jul-28 |
| ~assigned-literals | 2020-Nov-30 |