Google Git
Sign in
chromium / external / github.com / stp / stp
Mirrored from https://github.com/stp/stp.git
Clone this repo:

Branches

Tags

  1. 02b805f remove ppa. maybe not needed. by Trevor Hansen · 3 days ago master
  2. a111fb8 Merge branch 'master' of https://github.com/stp/stp by Trevor Hansen · 3 days ago
  3. 8759168 Try updating to trust to get c++14 compiler by Trevor Hansen · 3 days ago
  4. d4783f9 Refactor. But change from c++11 to c++14. Does this break anything though? by Trevor Hansen · 4 days ago
  5. fcdd805 Remove slower non-AIG-based ASTNode to CNF converter. by Trevor Hansen · 4 days ago
  6. 955149d ooops. fix build by restoring these which I accidentally deleted. by Trevor Hansen · 4 days ago
  7. 4462fea Refactor. Move NodeFactories to top level in file hierarchy by Trevor Hansen · 7 days ago
  8. 37b0c72 Remove binaries. Have put them in a release instead. by Trevor Hansen · 12 days ago
  9. ac1b92b initial smtcomp 2020 mergesat. by Trevor Hansen · 12 days ago smtcomp2020
  10. 83bf737 redirect stderr & stdout to null. SMTCOMP in 2020 only wants to see sat/unsat by Trevor Hansen · 12 days ago
  11. 5764d98 smtcomp cms binary by Trevor Hansen · 12 days ago
  12. cd4a489 Super late changes to speed up for SMTCOMP 2020. eek. by Trevor Hansen · 12 days ago
  13. f4152aa Merge branch 'master' of https://github.com/stp/stp by Trevor Hansen · 12 days ago
  14. 553a542 Cleanup header. by Trevor Hansen · 12 days ago
  15. 2d05a1f Move difficulty estimator from int to long so that it can properly represent > 2.1B clauses by Trevor Hansen · 2 weeks ago
  16. cc770dd Add missing warning to creation code. by Trevor Hansen · 2 weeks ago
  17. 25630ed Better classifier to decide whether to revert speculative simplifications. by Trevor Hansen · 3 weeks ago
  18. 8a5e7bc Trial difficulty scorer by Trevor Hansen · 4 weeks ago
  19. 35023c3 fix build by Trevor Hansen · 4 weeks ago
  20. 25df0e3 try to save time on exit by not calling destructors. by Trevor Hansen · 4 weeks ago