togatoga/togasat

Issues

• Assertion `value(p) == l_Undef` failed

  #9 opened a year ago by fanurs
  0

• problems can be solved by togasat

  #6 opened 7 years ago by togatoga
  1

• solverのテスト環境を作成する

  #2 opened 7 years ago by togatoga
  0

• 時間内で探索を打ち切る

  #3 opened 7 years ago by togatoga
  0