Commits · 927b60b7a02e8709768fdaa1301dff2b883dd0cf · lvzhengyang / abc · GitLab

16 Sep, 2017 1 commit
- Adding support for Dimacs input to &satoko. · b5d42e8b
  Alan Mishchenko committed 7 years ago
  
  b5d42e8b Browse File
29 Aug, 2017 1 commit
- Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages · ba8112ff
  Bruno Schmitt committed 7 years ago
  
  ba8112ff Browse File
18 Feb, 2017 1 commit
- Compiler warnings. · 131c1613
  Alan Mishchenko committed 8 years ago
  
  131c1613 Browse File
12 Feb, 2017 1 commit
- Adding APIs to mark cones. Creating test-bench for incremental solving &satoko -i. · 2a5fa67d
  Alan Mishchenko committed 8 years ago
  
  2a5fa67d Browse File
10 Feb, 2017 1 commit
- Standardizing the use of new CNF generator. Adding CNF variable connectivity information. · d335ee09
  Alan Mishchenko committed 8 years ago
  
  d335ee09 Browse File
09 Feb, 2017 1 commit
- Autotuner for 'satoko'. · 77e2b1ff
  Alan Mishchenko committed 8 years ago
  
  77e2b1ff Browse File
08 Feb, 2017 2 commits
- Compiler warning. · cf24a0eb
  Alan Mishchenko committed 8 years ago
  
  cf24a0eb Browse File
- New command &satoko. · de4bf41c
  Alan Mishchenko committed 8 years ago
  
  de4bf41c Browse File