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