package info (click to toggle)
cryptominisat 5.11.21%2Bdfsg1-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,504 kB
  • sloc: cpp: 55,562; ansic: 7,786; python: 7,485; sh: 813; sql: 403; xml: 34; makefile: 22; javascript: 17

Folder: tests

d .. (parent)
- - rw-r--r-- 32 __init__.py
- - rw-r--r-- 25,081 f400-r425-x000.cnf
- - rw-r--r-- 11,999 test.cnf
- - rw-r--r-- 11,747 test_pycryptosat.py