]> mj.ucw.cz Git - eval.git/tree
Fixed bug in searching for alternative solutions.
-rw-r--r-- 44 .gitignore
-rw-r--r-- 1041 Makefile
-rw-r--r-- 766 README
-rw-r--r-- 801 TODO
drwxr-xr-x - bin
-rw-r--r-- 4392 config
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 0 exceptions
drwxr-xr-x - maint
drwxr-xr-x - misc
drwxr-xr-x - mop
drwxr-xr-x - public
drwxr-xr-x - src
drwxr-xr-x - submit
drwxr-xr-x - template
-rw-r--r-- 387 userlist