Version bump following public Hackage release
Implement the new abstractEvaluateAIG method of the IsAIG class.
Fix a bug where the output literals of networks read from file were in reverse order.
Default to building with pthreads.  Also, declare pthread stubs as weak symbols, except on Windows.
This should prevent us from stomping on pthreads symbols when linked into
programs that use pthreads.
Provide Eq, Ord and Storable instances for GIA literals.
add a test case demonstrating a memory-corruption bug
Add tracing support for the AIG and GIA interfaces
Fix a memory corruption bug in the GIA interface.
The code that adds and then deletes COs from a GIA
graph is quite fiddly; I am still not completely confident
that this code is correct, but it does fix the current issue.
Fix some silly parse errors and warnings
Fix a memory-corruption bug in the AIG interface.
The concrete evalator was failing to account for deleted vars,
which have NULL entries in the main object vector.
Use 'tasty' instead of 'test-framework' for the test suite
Additional minor testing cleanups
Prevent 'cabal sdist' from mistakenly incorporating compiled object/library files.
relax package restrictions
Merge branch 'master' into hackage
Version bump