File: manpage-extras

package info (click to toggle)
cryptominisat 5.11.21%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 4,488 kB
  • sloc: cpp: 55,562; ansic: 7,786; python: 7,485; sh: 813; sql: 403; xml: 34; makefile: 22; javascript: 17
file content (17 lines) | stat: -rw-r--r-- 448 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
[=see also]
More documentation for the cryptominisat5 SAT solver can be found at https://www.msoos.org/cryptominisat5/

[=bug tracker]
Please don't hesitate to file any and all issues at:

https://github.com/msoos/cryptominisat/issues

[=copyright]
cryptominisat5 is under the
.B MIT
license. Please see https://opensource.org/licenses/MIT for the full text


[=authors]
cryptominisat5 is written and maintained by
.B Mate Soos soos.mate@gmail.com