rpms
/
sat4j
7
0
Fork 0
Code Issues Pull Requests Releases Activity
A library of SAT solvers written in Java
2 Commits 8 Branches 7 Tags 46 KiB
Shell 100%
Go to file
James Antill 5e93ef40df Convert from sha1 to sha512. 2022-08-31 16:14:42 -04:00
.gitignore Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 2022-08-08 14:09:41 -04:00
0001-Fix-runtime-classpath-and-minimum-BREE.patch Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 2022-08-08 14:09:41 -04:00
sat4j-classpath.patch Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 2022-08-08 14:09:41 -04:00
sat4j-fetch.sh Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 2022-08-08 14:09:41 -04:00
sat4j.spec Import rpm: 95e1cea02add331e4c4d7a937bddf7fc317fb0bc 2022-08-08 14:09:41 -04:00
sources Convert from sha1 to sha512. 2022-08-31 16:14:42 -04:00