package info (click to toggle)
depqbf 5.01-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 2,548 kB
  • sloc: ansic: 22,818; java: 387; makefile: 171; sh: 33

Folder: 5.01-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 93 DepQBF4J-0.2
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 examples
- - rw-r--r-- 35,147 COPYING
- - rw-r--r-- 798 NEWS
- - rw-r--r-- 12,929 README
- - rw-r--r-- 2,403 depqbf.1
- - rw-r--r-- 2,588 makefile
- - rw-r--r-- 724,402 qdpll.c
- - rw-r--r-- 16,202 qdpll.h
- - rw-r--r-- 20,757 qdpll_app.c
- - rw-r--r-- 6,856 qdpll_config.h
- - rw-r--r-- 2,500 qdpll_dep_man_generic.h
- - rw-r--r-- 201,138 qdpll_dep_man_qdag.c
- - rw-r--r-- 1,770 qdpll_dep_man_qdag.h
- - rw-r--r-- 3,569 qdpll_dep_man_qdag_types.h
- - rw-r--r-- 1,183 qdpll_exit.h
- - rw-r--r-- 23,357 qdpll_internals.h
- - rw-r--r-- 1,084 qdpll_main.c
- - rw-r--r-- 3,448 qdpll_mem.c
- - rw-r--r-- 1,680 qdpll_mem.h
- - rw-r--r-- 20,853 qdpll_pcnf.h
- - rw-r--r-- 8,751 qdpll_pqueue.c
- - rw-r--r-- 1,818 qdpll_pqueue.h
- - rw-r--r-- 3,227 qdpll_stack.h