Clifford Wolf 15b3c54fea Added "test_cell -nosat"

2014-09-07 17:05:41 +02:00

..

Makefile.inc

Added "test_cell" command

2014-07-29 22:07:41 +02:00

test_autotb.cc

Changed backend-api from FILE to std::ostream

2014-08-23 13:54:21 +02:00

test_cell.cc

Added "test_cell -nosat"

2014-09-07 17:05:41 +02:00