package info (click to toggle)
sat4j 2.3.5-0.3
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 90,260 kB
  • sloc: java: 50,309; xml: 1,491; lisp: 95; makefile: 36; sh: 35

Folder: 2.3.5-0.3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 32 META-INF
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 10 lib
d d rwxr-xr-x 61 org.sat4j.br4cp
d d rwxr-xr-x 4,096 org.sat4j.core
d d rwxr-xr-x 4,096 org.sat4j.intervalorders
d d rwxr-xr-x 4,096 org.sat4j.maxsat
d d rwxr-xr-x 4,096 org.sat4j.pb
d d rwxr-xr-x 148 org.sat4j.sat
d d rwxr-xr-x 4,096 org.sat4j.scala
d d rwxr-xr-x 136 org.sat4j.sudoku
d d rwxr-xr-x 25 src
- - rw-r--r-- 395 README
- - rw-r--r-- 21,276 build.xml
- - rwxr-xr-x 158 buildSite.sh
- - rw-r--r-- 14,689 pom.xml
- - rwxr-xr-x 1,733 sat4j-live.bash
- - rw-r--r-- 1,932 stylesheet.css