]> git.pld-linux.org Git - packages/java-sat4j.git/tree
projects / packages / java-sat4j.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
- drop obsolete and outdated manual inclusion of rpm macros
-rw-r--r-- 1657 java-sat4j.spec blob | blame | history | raw
-rw-r--r-- 295 sat4j-fetch.sh blob | blame | history | raw
A library of SAT solvers written in Java
This page took 0.049756 seconds and 4 git commands to generate.