![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| SATH.sh | 2004-11-30 11:49 | 418 | |
| SATH2.sh | 2004-12-15 12:58 | 423 | |
| SATS.sh | 2004-11-30 11:51 | 417 | |
| SATs2.sh | 2004-11-01 08:02 | 393 | |
| SATs3.sh | 2004-11-11 16:03 | 393 | |
| SATs4.sh | 2004-12-14 11:58 | 393 | |
| TP.sh | 2004-11-01 08:02 | 73 | |
| TPA.sh | 2004-11-01 08:02 | 22 | |
| TPTests.sh | 2004-11-01 08:02 | 42 | |
| build.sh | 2004-11-11 16:19 | 751 | |
| clean.sh | 2004-11-01 08:02 | 21 | |
| createXMLforSATLIB.sh | 2004-11-01 08:02 | 127 | |
| createXMLforWagner.sh | 2004-11-01 08:02 | 89 | |
| cwSAT.sh | 2004-11-01 08:02 | 513 | |
| examples | 2004-11-01 08:02 | 163 | |
| order.sh | 2004-12-14 12:05 | 134 | |
| satcnf.parcial.sh | 2004-11-01 08:02 | 80 | |
| satcnf.sh | 2004-11-01 08:02 | 380 | |
| satcnf2.sh | 2004-12-15 14:08 | 391 | |