package info (click to toggle)
undertaker 1.6.1-4.2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 131,620 kB
  • sloc: ansic: 35,624; cpp: 9,937; python: 6,018; sh: 2,682; makefile: 811; yacc: 702; lex: 502; perl: 291; lisp: 146

Folder: picosat

d .. (parent)
- - rw-r--r-- 1,093 LICENSE
- - rw-r--r-- 2,562 NEWS
- - rw-r--r-- 184 README
- - rw-r--r-- 4 VERSION
- - rw-r--r-- 18,996 app.c
- - rwxr-xr-x 2,966 configure
- - rw-r--r-- 1,781 main.c
- - rw-r--r-- 930 makefile.in
- - rwxr-xr-x 550 mkconfig
- - rw-r--r-- 10,463 picomus.c
- - rw-r--r-- 136,874 picosat.c
- - rw-r--r-- 20,708 picosat.h
- - rw-r--r-- 168 version.c