Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 104 Bytes
Newer Older
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights…
5351ab4b
 
Bruno Schmitt committed
1 2 3 
SRC +=  src/sat/xsat/xsatSolver.c \
    src/sat/xsat/xsatSolverAPI.c \
    src/sat/xsat/xsatCnfReader.c