A library of SAT solvers written in Java
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
James Antill 0ed483d6cf Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 7 months ago
.gitignore Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 7 months ago
0001-Fix-runtime-classpath-and-minimum-BREE.patch Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 1 year ago
sat4j-classpath.patch Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 1 year ago
sat4j-fetch.sh Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 1 year ago
sat4j.spec Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 7 months ago
sources Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 7 months ago