![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| queens.funlog | 2014-12-31 16:17 | 964 | |
| smallQueenSat.funlog | 2014-12-31 12:29 | 1.0K | |
| Soduko.funlog | 2014-12-16 12:39 | 2.5K | |
| test3.funlog | 2014-12-13 11:20 | 2.5K | |
| test2.funlog | 2014-12-13 09:56 | 809 | |
| empty.funlog | 2014-12-13 09:17 | 812 | |
| binPacking.funlog | 2014-11-10 13:48 | 1.6K | |
| Product.funlog | 2014-11-05 12:23 | 675 | |
| MapColoring.funlog | 2014-11-03 15:31 | 697 | |
| smt.funlog | 2014-09-25 11:30 | 781 | |
| queensSMT.funlog | 2014-09-25 11:08 | 963 | |
| paper.funlog | 2014-09-25 11:06 | 1.6K | |
| work.funlog | 2013-11-20 10:02 | 66 | |
| test1.funlog | 2013-11-20 10:02 | 79 | |
| smallMapColoring.funlog | 2013-11-20 10:02 | 390 | |
| functions.funlog | 2013-11-20 10:02 | 761 | |
| formula.funlog | 2013-11-20 10:02 | 642 | |
| SodukoLong.funlog | 2013-11-20 10:02 | 1.3K | |
| Soduko3.funlog | 2013-11-20 10:02 | 1.6K | |
| Soduko2.funlog | 2013-11-20 10:02 | 2.4K | |
| AlgData.funlog | 2013-11-20 10:02 | 83 | |