diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-21 01:49:59 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-21 02:01:32 +0200 |
| commit | b1d520949bdb5357f31f43d9dc4f4579dda9f269 (patch) | |
| tree | 83b0774721024d166b5c710514a4efcbf530a69b /libs/ezsat/Makefile | |
| parent | ade659e617922171ad1b678a51765ba2046c27d8 (diff) | |
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
Diffstat (limited to 'libs/ezsat/Makefile')
| -rw-r--r-- | libs/ezsat/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile index 1dcb5d15..b1f86416 100644 --- a/libs/ezsat/Makefile +++ b/libs/ezsat/Makefile @@ -18,7 +18,8 @@ test: all ./testbench ./demo_bit ./demo_vec - ./demo_cmp + # ./demo_cmp + # ./puzzle3d clean: rm -f demo_bit demo_vec demo_cmp testbench puzzle3d *.o *.d |