- disable requires check (for now?) to make testcases work
- disable requires check (for now?) to make testcases work


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver