A library of SAT solvers written in Java

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

MSVSphere Packaging Team 7ca014cb7d import sat4j-2.3.5-15.module_el8.1.0+280+b8d347df		8 months ago
SOURCES	import sat4j-2.3.5-15.module_el8.1.0+280+b8d347df	8 months ago
SPECS	import sat4j-2.3.5-15.module_el8.1.0+280+b8d347df	8 months ago
.gitignore	import sat4j-2.3.5-19.module+el8.2.1+7436+4afdca1f	1 year ago
.sat4j.metadata	import sat4j-2.3.5-19.module+el8.2.1+7436+4afdca1f	1 year ago