package info (click to toggle)
cryptominisat 5.11.4%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 4,432 kB
  • sloc: cpp: 55,148; ansic: 9,642; python: 8,899; sh: 1,336; php: 477; sql: 403; javascript: 173; xml: 34; makefile: 15

Folder: config

d .. (parent)
- - rw-r--r-- 13,797 satcomp11_updated
- - rw-r--r-- 13,797 satcomp13_updated
- - rw-r--r-- 11,375 satcomp14_updated
- - rw-r--r-- 12,346 satcomp16_updated
- - rw-r--r-- 13,314 satcomp17_updated
- - rw-r--r-- 11,979 satrace15_updated
- - rw-r--r-- 198 test_updated
- - rw-r--r-- 16,277 unsat_small_candidates_fullpath