Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 100 Bytes
Newer Older
Adding a new SAT solver to ABC. (Satoko)
cac3967b
 
Bruno Schmitt committed
1 2 3 
SRC +=  src/sat/satoko/solver.c \
    src/sat/satoko/solver_api.c \
    src/sat/satoko/cnf_reader.c