package info (click to toggle)
picosat 965-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 576 kB
  • sloc: ansic: 15,831; makefile: 171; sh: 158

Folder: 965-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 1,093 LICENSE
- - rw-r--r-- 4,665 NEWS
- - rw-r--r-- 187 README
- - rw-r--r-- 4 VERSION
- - rw-r--r-- 25,029 app.c
- - rwxr-xr-x 3,227 configure.sh
- - rw-r--r-- 107 main.c
- - rw-r--r-- 1,818 makefile.in
- - rwxr-xr-x 553 mkconfig.sh
- - rw-r--r-- 5,179 picogcnf.c
- - rw-r--r-- 8,396 picomcs.c
- - rw-r--r-- 12,595 picomus.c
- - rw-r--r-- 162,930 picosat.c
- - rw-r--r-- 28,675 picosat.h
- - rw-r--r-- 168 version.c