| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 3-SAT Instance Defined in .c_.h source code.tar.gz | 2024-12-29 | 2.0 MB | |
| 3-SAT Instance Defined in .c_.h source code.zip | 2024-12-29 | 2.0 MB | |
| README.md | 2024-12-29 | 56 Bytes | |
| Totals: 3 Items | 4.0 MB | 0 | |
header and formal c algoirthimn for 3-SAT.c/.h instances