andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Fix symmetry reductions, choose might interfere with this.

Browse Source
This commit is contained in:
ccremers 2004-07-16 21:17:32 +00:00
parent 73f3b4d4ad
commit b70255ddbc
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/todo.txt
View File

@ -1,3 +1,5 @@
- HIGH PRIORITY: Fix -t11 to be left-oriented. This is more consistent with
ensuring that the other symmetry reductions work as advertised.
- Figure out how static building works. Might even involve switching to - Figure out how static building works. Might even involve switching to
automake alternative (Cons, SCons,..) automake alternative (Cons, SCons,..)
- Constraint logic now also has no checks for when a run is done by the - Constraint logic now also has no checks for when a run is done by the