yosys/passes/sat/Makefile.inc


OBJS += passes/sat/sat.o
OBJS += passes/sat/freduce.o
OBJS += passes/sat/eval.o
OBJS += passes/sat/miter.o
Added SAT generator and simple sat_solve command 2013-06-07 06:59:13 -05:00
Renamed "sat_solve" pass to "sat" 2013-06-09 14:55:53 -05:00			`OBJS += passes/sat/sat.o`
Added freduce command 2013-08-06 08:04:52 -05:00			`OBJS += passes/sat/freduce.o`
Added "eval" pass 2013-06-19 02:30:37 -05:00			`OBJS += passes/sat/eval.o`
Added miter command 2014-02-01 03:35:56 -06:00			`OBJS += passes/sat/miter.o`
Added SAT generator and simple sat_solve command 2013-06-07 06:59:13 -05:00