| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Fix errors on GCC | Max Heisinger | 12 months | |
| Age | Commit message | Author | ||
| 2023-05-27 | Fix errors on GCCHEADmain | Max Heisinger | ||
| 2023-05-22 | Merge branch 'external-sat-solver' into 'main' | Max Heisinger | ||
| 2023-05-22 | Remove CaDiCaL and make SAT Solver a swappable external component called thro... | Max Heisinger | ||
| 2022-10-05 | Make parser error verbose for older versions | Maximilian Heisinger | ||
| 2022-08-08 | Support multiple input files. | Maximilian Heisinger | ||
| 2022-08-08 | Update README | Maximilian Heisinger | ||
| 2022-08-07 | Solution enumeration | Maximilian Heisinger | ||
| 2022-08-07 | Implement pretty printing selected options | Maximilian Heisinger | ||
| 2022-08-07 | Make naive and MRV selectable | Maximilian Heisinger | ||
| 2022-08-07 | Add simone's soma pieces for (small) benchmarks | Maximilian Heisinger | ||
| [...] | ||||
 |
index : xccsolve | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| aboutsummaryrefslogtreecommitdiff |