diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-29 10:57:22 -0400 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-29 10:57:22 -0400 |
commit | a36ff27dc3196f6d337699d9bb8ee9418b4270d5 (patch) | |
tree | d7a77cc0599eba8804995f2784354f85b3c500e5 /src/prop/cryptominisat/TODO | |
parent | ad5e31e2031349c9b9d0bf5d9fcaa1ea7950db58 (diff) |
removing cryptominisat since we're not using it
Diffstat (limited to 'src/prop/cryptominisat/TODO')
-rw-r--r-- | src/prop/cryptominisat/TODO | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/prop/cryptominisat/TODO b/src/prop/cryptominisat/TODO deleted file mode 100644 index 7c976fa3a..000000000 --- a/src/prop/cryptominisat/TODO +++ /dev/null @@ -1,3 +0,0 @@ -* Report all bugs, please using Gforge: https://gforge.inria.fr/tracker/?group_id=1992 -* Make it more C++. There are plenty of areas where this would help -* Get rid of Vec.h and other STL-like classes |