projects / packages / java-sat4j.git / summary
| description | A library of SAT solvers written in Java |
| last change | Sat, 25 Jan 2020 14:42:37 +0000 (15:42 +0100) |
| URL | git://git.pld-linux.org/packages/java-sat4j.git |
| ssh://git@git.pld-linux.org/packages/java-sat4j.git |
| 2020-01-25 | Jan Rękorajski | - drop obsolete and outdated manual inclusion of rpm... master | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - note how the source was created | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - initial revison | commit | commitdiff | tree | snapshot |
| 4 years ago | master | shortlog | log | tree |