COPYING file for distribution
[anf2cnf:anf2cnf.git] / TODO
1 missing features, known bugs, etc...
2
3 * allow named variables in anf
4    use of a char * array in ANF_system. Two solutions for parsing
5
6    - use named variables in anf file
7       probably the cleaner way
8
9    - use a separate variable list
10       either inside the anf file or in a separate file
11       allow easy renaming of the variables
12
13 * save cnf files in SATsolve
14    provide the possiblity to keep cnf files and cnf solution files
15
16 * FIXME implicit declaration of function mkstemp
17    fixed with -std=gnu99, portability should be checked
18
19 * FIXME check portability of SATsolve.c
20
21 * add common options (--help, ...)