Clone this repo:
  1. eaca470 fix #330. by Trevor Hansen · 11 days ago master
  2. 2433838 Partial fix for #330. by Trevor Hansen · 12 days ago
  3. 75fa48f Hack to get a smtlib benchmark parsing. by Trevor Hansen · 14 days ago
  4. c5554ca Merge branch 'master' of https://www.github.com/stp/stp by Trevor Hansen · 2 weeks ago
  5. 7758e03 Decimal output is incredibly slow for ~30,000 bits. by Trevor Hansen · 2 weeks ago
  6. 7cf8465 Timeout tests are way too slow, removing by Mate Soos · 2 weeks ago
  7. 343fe8a Minor fix of String -> STRING in CMakeLists.txt by Mate Soos · 2 weeks ago
  8. cc98af2 fix. wasn't printing success like it should on some smtlib commands. by Trevor Hansen · 2 weeks ago
  9. ca1105a -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value). by Trevor Hansen · 2 weeks ago
  10. f960498 don't output a model if it was unsat. by Trevor Hansen · 2 weeks ago
  11. ec1f46d fix boolean model output. by Trevor Hansen · 2 weeks ago
  12. 8bf2fa6 add rough implementation of declare-const. by Trevor Hansen · 2 weeks ago
  13. 6770649 fix model output. by Trevor Hansen · 2 weeks ago
  14. f770c87 Merge pull request #326 from andrewvaughanj/removing_time_based_timeout_tests by Mate Soos · 3 weeks ago
  15. 914f153 Only run CMS-based tests if STP has been compiled with CMS support by Andrew V. Jones · 4 weeks ago
  16. 64b8106 Reducing timeout on C-based tests to ensure we hit a timeout by Andrew V. Jones · 4 weeks ago
  17. 4c571c2 Re-worked the Python-based timeout test to be more intensive by Andrew V. Jones · 4 weeks ago
  18. 0b8dd0b Correcting use_cms variable when running minisat tests by Andrew V. Jones · 4 weeks ago
  19. 240a709 Conflict-based timeout tests are now performed with both CMS and Minisat by Andrew V. Jones · 4 weeks ago
  20. c3ba441 Merge pull request #325 from andrewvaughanj/removing_time_based_timeout_tests by Mate Soos · 4 weeks ago