Clone this repo:
  1. a9bc247 [gcc 13] include cstdint for *int*_t by Jiri Slaby · 2 months ago master
  2. 33b6355 Merge pull request #447 from misonijnik/master by Trevor Hansen · 9 months ago
  3. 38f7887 Fix compilation error on libstdc++-7-dev by Aleksandr Misonizhnik · 9 months ago
  4. 97ddd03 disable SQLITE when building cms by Trevor Hansen · 9 months ago
  5. d0fc3e3 Fix so user flags are respected by Trevor Hansen · 9 months ago
  6. 191692d Convert ordered collections to faster unordered collections. by Trevor Hansen · 9 months ago
  7. c5f440a copy on write to reduce the number of malloc/free by Trevor Hansen · 9 months ago
  8. cda427c Cleanup the dependency building code by Trevor Hansen · 9 months ago
  9. 2b4a2da Small changes to make core simplification algorithms faster. by Trevor Hansen · 9 months ago
  10. 8c2b9c5 Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 10 months ago
  11. 5a34f8d Handle an extra case in unconstrained variable elimination. by Trevor Hansen · 10 months ago
  12. d29b19d Improve again on the performance of QF_BV benchmark problems. by Trevor Hansen · 10 months ago
  13. 15562cf Fix test cases so that they work when stp has pure variable removal disabled. by Trevor Hansen · 10 months ago
  14. c47f514 Tune the parameters to improve performance on QF_BV benchmark problems by Trevor Hansen · 10 months ago
  15. 5f6f2e0 Adding REQUIRE for Perl by Mate Soos · 10 months ago
  16. 8ea9201 Remove some mentions of the CVC format from our documentation. by Trevor Hansen · 10 months ago
  17. ee83ef7 Remove mention of CVC from front readme. by Trevor Hansen · 10 months ago
  18. a69e0a0 Update codeql-analysis.yml by Trevor Hansen · 10 months ago
  19. 644d43a fix #128 by Trevor Hansen · 10 months ago
  20. 4ce784e Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence. by Trevor Hansen · 10 months ago