![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| pacca | 2009-02-11 22:59 | 270 | |
| PACK/ | 2009-02-11 22:48 | - | |
| COPYING | 2009-02-11 22:43 | 18K | |
| converti-dimacs-cnf.py | 2009-02-11 22:37 | 356 | |
| solver.pyc | 2009-02-11 22:35 | 5.9K | |
| misc.pyc | 2009-02-11 22:35 | 1.1K | |
| debug.pyc | 2009-02-11 22:35 | 202 | |
| data.pyc | 2009-02-11 22:35 | 8.2K | |
| main.py | 2009-02-11 22:31 | 4.0K | |
| solver.py | 2009-02-11 22:31 | 7.8K | |
| data.py | 2009-02-11 22:21 | 9.2K | |
| testall.sh | 2009-02-11 22:10 | 582 | |
| debug.py | 2009-02-11 18:07 | 23 | |
| varie/ | 2009-02-11 18:03 | - | |
| tests/ | 2009-02-11 17:03 | - | |
| misc.py | 2009-02-11 13:55 | 1.6K | |
| test4 | 2009-02-10 18:20 | 98 | |
| test3 | 2009-02-10 17:35 | 37 | |
| tests3/ | 2009-02-10 16:59 | - | |
| tests2/ | 2009-02-10 16:54 | - | |
| test2 | 2009-02-10 16:05 | 17 | |
| test0 | 2009-02-09 17:03 | 10 | |
| test1 | 2009-02-06 17:29 | 45 | |