https://github.com/TakehideSoh/SAF
Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev
Merge pull request #2 from TakehideSoh/dev
Tip revision: d26cc9f
| File | Mode | Size |
|---|---|---|
| README.md | -rw-r--r-- | 1005 bytes |
| add128.cnf | -rw-r--r-- | 98.1 KB |
| add16.cnf | -rw-r--r-- | 10.7 KB |
| add32.cnf | -rw-r--r-- | 23.3 KB |
| add4.cnf | -rw-r--r-- | 1.6 KB |
| add64.cnf | -rw-r--r-- | 51.4 KB |
| add8.cnf | -rw-r--r-- | 4.4 KB |
| block0.cnf | -rw-r--r-- | 64 bytes |
| drat-trim.c | -rw-r--r-- | 60.1 KB |
| elimclash.cnf | -rw-r--r-- | 105 bytes |
| elimredundant.cnf | -rw-r--r-- | 103 bytes |
| empty.cnf | -rw-r--r-- | 10 bytes |
| empty.sol | -rw-r--r-- | 18 bytes |
| factor2708413neg.cnf | -rw-r--r-- | 37.6 KB |
| factor2708413pos.cnf | -rw-r--r-- | 37.4 KB |
| false.cnf | -rw-r--r-- | 12 bytes |
| full1.cnf | -rw-r--r-- | 19 bytes |
| full2.cnf | -rw-r--r-- | 38 bytes |
| full3.cnf | -rw-r--r-- | 86 bytes |
| full4.cnf | -rw-r--r-- | 203 bytes |
| full5.cnf | -rw-r--r-- | 475 bytes |
| full6.cnf | -rw-r--r-- | 1.1 KB |
| full7.cnf | -rw-r--r-- | 2.4 KB |
| ph2.cnf | -rw-r--r-- | 76 bytes |
| ph3.cnf | -rw-r--r-- | 200 bytes |
| ph4.cnf | -rw-r--r-- | 437 bytes |
| ph5.cnf | -rw-r--r-- | 810 bytes |
| ph6.cnf | -rw-r--r-- | 1.3 KB |
| precochk.c | -rw-r--r-- | 6.4 KB |
| prime121.cnf | -rw-r--r-- | 11.1 KB |
| prime121.sol | -rw-r--r-- | 1.4 KB |
| prime1369.cnf | -rw-r--r-- | 35.1 KB |
| prime1369.sol | -rw-r--r-- | 4.5 KB |
| prime1681.cnf | -rw-r--r-- | 35.1 KB |
| prime1681.sol | -rw-r--r-- | 4.5 KB |
| prime169.cnf | -rw-r--r-- | 15.8 KB |
| prime169.sol | -rw-r--r-- | 2.0 KB |
| prime1849.cnf | -rw-r--r-- | 35.1 KB |
| prime1849.sol | -rw-r--r-- | 4.5 KB |
| prime2209.cnf | -rw-r--r-- | 44.4 KB |
| prime2209.sol | -rw-r--r-- | 5.7 KB |
| prime25.cnf | -rw-r--r-- | 3.9 KB |
| prime25.sol | -rw-r--r-- | 527 bytes |
| prime289.cnf | -rw-r--r-- | 21.4 KB |
| prime289.sol | -rw-r--r-- | 2.8 KB |
| prime361.cnf | -rw-r--r-- | 21.4 KB |
| prime361.sol | -rw-r--r-- | 2.8 KB |
| prime4.cnf | -rw-r--r-- | 502 bytes |
| prime4.sol | -rw-r--r-- | 80 bytes |
| prime4294967297.cnf | -rw-r--r-- | 83.8 KB |
| prime49.cnf | -rw-r--r-- | 7.1 KB |
| prime49.sol | -rw-r--r-- | 939 bytes |
| prime529.cnf | -rw-r--r-- | 27.9 KB |
| prime529.sol | -rw-r--r-- | 3.6 KB |
| prime65537.cnf | -rw-r--r-- | 86.7 KB |
| prime841.cnf | -rw-r--r-- | 27.9 KB |
| prime841.sol | -rw-r--r-- | 3.6 KB |
| prime9.cnf | -rw-r--r-- | 1.8 KB |
| prime9.sol | -rw-r--r-- | 245 bytes |
| prime961.cnf | -rw-r--r-- | 27.9 KB |
| prime961.sol | -rw-r--r-- | 3.6 KB |
| regr000.cnf | -rw-r--r-- | 16 bytes |
| regr000.sol | -rw-r--r-- | 48 bytes |
| run.sh | -rwxr-xr-x | 6.5 KB |
| sat0.cnf | -rw-r--r-- | 38 bytes |
| sat1.cnf | -rw-r--r-- | 39 bytes |
| sat1.sol | -rw-r--r-- | 22 bytes |
| sat10.cnf | -rw-r--r-- | 87 bytes |
| sat10.sol | -rw-r--r-- | 25 bytes |
| sat11.cnf | -rw-r--r-- | 87 bytes |
| sat11.sol | -rw-r--r-- | 26 bytes |
| sat12.cnf | -rw-r--r-- | 87 bytes |
| sat12.sol | -rw-r--r-- | 26 bytes |
| sat13.cnf | -rw-r--r-- | 87 bytes |
| sat13.sol | -rw-r--r-- | 27 bytes |
| sat2.cnf | -rw-r--r-- | 39 bytes |
| sat2.sol | -rw-r--r-- | 23 bytes |
| sat3.cnf | -rw-r--r-- | 39 bytes |
| sat3.sol | -rw-r--r-- | 23 bytes |
| sat4.cnf | -rw-r--r-- | 39 bytes |
| sat4.sol | -rw-r--r-- | 24 bytes |
| sat5.cnf | -rw-r--r-- | 86 bytes |
| sat6.cnf | -rw-r--r-- | 87 bytes |
| sat6.sol | -rw-r--r-- | 24 bytes |
| sat7.cnf | -rw-r--r-- | 87 bytes |
| sat7.sol | -rw-r--r-- | 25 bytes |
| sat8.cnf | -rw-r--r-- | 87 bytes |
| sat8.sol | -rw-r--r-- | 25 bytes |
| sat9.cnf | -rw-r--r-- | 87 bytes |
| sat9.sol | -rw-r--r-- | 26 bytes |
| sqrt10201.cnf | -rw-r--r-- | 9.6 KB |
| sqrt10201.sol | -rw-r--r-- | 1.3 KB |
| sqrt1042441.cnf | -rw-r--r-- | 22.2 KB |
| sqrt1042441.sol | -rw-r--r-- | 3.0 KB |
| sqrt10609.cnf | -rw-r--r-- | 9.6 KB |
| sqrt10609.sol | -rw-r--r-- | 1.3 KB |
| sqrt11449.cnf | -rw-r--r-- | 9.6 KB |
| sqrt11449.sol | -rw-r--r-- | 1.3 KB |
| sqrt11881.cnf | -rw-r--r-- | 9.6 KB |
| sqrt11881.sol | -rw-r--r-- | 1.3 KB |
| sqrt12769.cnf | -rw-r--r-- | 9.5 KB |
| sqrt12769.sol | -rw-r--r-- | 1.3 KB |
| sqrt16129.cnf | -rw-r--r-- | 9.5 KB |
| sqrt16129.sol | -rw-r--r-- | 1.3 KB |
| sqrt259081.cnf | -rw-r--r-- | 17.4 KB |
| sqrt259081.sol | -rw-r--r-- | 2.3 KB |
| sqrt2809.cnf | -rw-r--r-- | 6.4 KB |
| sqrt2809.sol | -rw-r--r-- | 914 bytes |
| sqrt3481.cnf | -rw-r--r-- | 6.4 KB |
| sqrt3481.sol | -rw-r--r-- | 912 bytes |
| sqrt3721.cnf | -rw-r--r-- | 6.4 KB |
| sqrt3721.sol | -rw-r--r-- | 913 bytes |
| sqrt4489.cnf | -rw-r--r-- | 9.5 KB |
| sqrt4489.sol | -rw-r--r-- | 1.3 KB |
| sqrt5041.cnf | -rw-r--r-- | 9.5 KB |
| sqrt5041.sol | -rw-r--r-- | 1.3 KB |
| sqrt5329.cnf | -rw-r--r-- | 9.5 KB |
| sqrt5329.sol | -rw-r--r-- | 1.3 KB |
| sqrt6241.cnf | -rw-r--r-- | 9.5 KB |
| sqrt6241.sol | -rw-r--r-- | 1.3 KB |
| sqrt63001.cnf | -rw-r--r-- | 13.2 KB |
| sqrt63001.sol | -rw-r--r-- | 1.8 KB |
| sqrt6889.cnf | -rw-r--r-- | 9.5 KB |
| sqrt6889.sol | -rw-r--r-- | 1.3 KB |
| sqrt7921.cnf | -rw-r--r-- | 9.5 KB |
| sqrt7921.sol | -rw-r--r-- | 1.3 KB |
| sqrt9409.cnf | -rw-r--r-- | 9.6 KB |
| sqrt9409.sol | -rw-r--r-- | 1.3 KB |
| sub0.cnf | -rw-r--r-- | 24 bytes |
| unit0.cnf | -rw-r--r-- | 14 bytes |
| unit0.sol | -rw-r--r-- | 20 bytes |
| unit1.cnf | -rw-r--r-- | 15 bytes |
| unit1.sol | -rw-r--r-- | 21 bytes |
| unit2.cnf | -rw-r--r-- | 21 bytes |
| unit2.sol | -rw-r--r-- | 22 bytes |
| unit3.cnf | -rw-r--r-- | 22 bytes |
| unit3.sol | -rw-r--r-- | 24 bytes |
| unit4.cnf | -rw-r--r-- | 28 bytes |
| unit5.cnf | -rw-r--r-- | 63 bytes |
| unit6.cnf | -rw-r--r-- | 39 bytes |
| unit7.cnf | -rw-r--r-- | 52 bytes |
README.md
Loading README.md ...
