walksat find a satisfying model of a cnf formula
2016-08-23
1 0 0
no vote
Other
Earn points
Walksat specifications Walksat attempts to find a satisfying model of a cnf formula. Format is .cnf format: c Optional comments at start of file. c The "p" line specifies cnf format, number vars, number clauses c Variables are numbered starting at 1 c Each clause ends with 0 p cnf 3 2 1 -3 0 2 3 -1 0 Walksat reads from standard in (or from a file specified as a command line argument) and writes to standard out (and standard error). To get a list of command line options, type walksat -help (or any other illegal option).
c
walksat
令人满意
CNF
公式
模型
Related Source Codes
PClite
0
0
no vote
generic embeded FTP Client
0
0
no vote
UDP Test Demo
0
0
no vote
TMS320F28335 DSP transmits data to EEPROM through
0
0
no vote
TMS320F28335 CAN communication source code
0
0
no vote
No comment