package info
(click to toggle)
sat4j 2.3.5-0.3
- links: PTS
- area: main
- in suites: bookworm, bullseye, buster, sid, trixie
- size: 90,260 kB
- sloc: java: 50,309; xml: 1,491; lisp: 95; makefile: 36; sh: 35
Folder: org.sat4j.maxsat
 |
.. (parent) | |||
|
d | rwxr-xr-x | 125 | .settings |
|
d | rwxr-xr-x | 32 | META-INF |
|
d | rwxr-xr-x | 40 | src |
 |
- | rw-r--r-- | 438 | .classpath |
|
- | rw-r--r-- | 649 | .project |
|
- | rw-r--r-- | 133 | build.properties |
|
- | rw-r--r-- | 83 | plugin.properties |
|
- | rw-r--r-- | 1,071 | pom.xml |