├── .clangd ├── .gitignore ├── LICENSE ├── README.md ├── UPSTREAM_VERSION ├── VERSION ├── configure ├── makefile.in ├── scripts ├── build-and-test-all-configurations.sh ├── determine-coverage.sh ├── filter-coverage-output.sh ├── generate-build-header.sh ├── make-source-release.sh └── prepare-competition.sh ├── src ├── add.c ├── add.h ├── allocate.c ├── allocate.h ├── analyze.c ├── analyze.h ├── ands.c ├── ands.h ├── application.c ├── application.h ├── arena.c ├── arena.h ├── array.h ├── assign.c ├── assign.h ├── assume.c ├── assume.h ├── attribute.h ├── autarky.c ├── autarky.h ├── averages.c ├── averages.h ├── backbone.c ├── backbone.h ├── backtrack.c ├── backtrack.h ├── backward.c ├── backward.h ├── bits.c ├── bits.h ├── build.c ├── bump.c ├── bump.h ├── cache.c ├── cache.h ├── check.c ├── check.h ├── clause.c ├── clause.h ├── clueue.c ├── clueue.h ├── collect.c ├── collect.h ├── colors.c ├── colors.h ├── compact.c ├── compact.h ├── config.c ├── config.h ├── configure ├── cover.h ├── decide.c ├── decide.h ├── deduce.c ├── deduce.h ├── definition.c ├── definition.h ├── dense.c ├── dense.h ├── dominate.c ├── dominate.h ├── dump.c ├── eliminate.c ├── eliminate.h ├── endianness.h ├── equivalences.c ├── equivalences.h ├── error.c ├── error.h ├── extend.c ├── extend.h ├── failed.c ├── failed.h ├── fastassign.h ├── file.c ├── file.h ├── flags.c ├── flags.h ├── format.c ├── format.h ├── forward.c ├── forward.h ├── frames.h ├── gates.c ├── gates.h ├── handle.c ├── handle.h ├── heap.c ├── heap.h ├── ifthenelse.c ├── ifthenelse.h ├── import.c ├── import.h ├── inline.h ├── inlineassign.h ├── inlineframes.h ├── inlineheap.h ├── inlinequeue.h ├── inlinereap.h ├── inlinescore.h ├── inlinevector.h ├── internal.c ├── internal.h ├── kissat.h ├── kitten.c ├── kitten.h ├── learn.c ├── learn.h ├── limits.c ├── limits.h ├── literal.h ├── logging.c ├── logging.h ├── main.c ├── makefile ├── minimize.c ├── minimize.h ├── mode.c ├── mode.h ├── nonces.c ├── nonces.h ├── options.c ├── options.h ├── parse.c ├── parse.h ├── phases.c ├── phases.h ├── print.c ├── print.h ├── probe.c ├── probe.h ├── profile.c ├── profile.h ├── promote.c ├── promote.h ├── proof.c ├── proof.h ├── propdense.c ├── propdense.h ├── prophyper.c ├── prophyper.h ├── proplit.h ├── proprobe.c ├── proprobe.h ├── propsearch.c ├── propsearch.h ├── protect.c ├── protect.h ├── queue.c ├── queue.h ├── random.h ├── rank.h ├── reap.c ├── reap.h ├── reduce.c ├── reduce.h ├── reference.h ├── reluctant.c ├── reluctant.h ├── rephase.c ├── rephase.h ├── report.c ├── report.h ├── require.h ├── resize.c ├── resize.h ├── resolve.c ├── resolve.h ├── resources.c ├── resources.h ├── restart.c ├── restart.h ├── restore.c ├── restore.h ├── search.c ├── search.h ├── shrink.c ├── shrink.h ├── smooth.c ├── smooth.h ├── sort.c ├── sort.h ├── stack.c ├── stack.h ├── statistics.c ├── statistics.h ├── strengthen.c ├── strengthen.h ├── substitute.c ├── substitute.h ├── sweep.c ├── sweep.h ├── terminate.c ├── terminate.h ├── ternary.c ├── ternary.h ├── trail.c ├── trail.h ├── transitive.c ├── transitive.h ├── utilities.c ├── utilities.h ├── value.h ├── vector.c ├── vector.h ├── vivify.c ├── vivify.h ├── walk.c ├── walk.h ├── watch.c ├── watch.h ├── weaken.c ├── weaken.h ├── witness.c ├── witness.h ├── xors.c └── xors.h └── test ├── big ├── .gitignore ├── genbigand.c └── makefile ├── cnf ├── add128.cnf ├── add16.cnf ├── add32.cnf ├── add4.cnf ├── add64.cnf ├── add8.cnf ├── and1.cnf ├── and2.cnf ├── bin1.cnf ├── bin2.cnf ├── bin3.cnf ├── def1.cnf ├── diamond1.cnf ├── diamond2.cnf ├── diamond3.cnf ├── eq1.cnf ├── eq2.cnf ├── eq3.cnf ├── false.cnf ├── full2.cnf ├── full3.cnf ├── full4.cnf ├── hard.cnf ├── ite1.cnf ├── ph11.cnf ├── ph2.cnf ├── ph3.cnf ├── ph4.cnf ├── ph5.cnf ├── ph6.cnf ├── prime121.cnf ├── prime1369.cnf ├── prime1681.cnf ├── prime169.cnf ├── prime1849.cnf ├── prime2209.cnf ├── prime25.cnf ├── prime289.cnf ├── prime361.cnf ├── prime4.cnf ├── prime4294967297.cnf ├── prime49.cnf ├── prime529.cnf ├── prime65537.cnf ├── prime841.cnf ├── prime9.cnf ├── prime961.cnf ├── probe1.cnf ├── sqrt10201.cnf ├── sqrt1042441.cnf ├── sqrt10609.cnf ├── sqrt11449.cnf ├── sqrt11881.cnf ├── sqrt12769.cnf ├── sqrt16129.cnf ├── sqrt259081.cnf ├── sqrt2809.cnf ├── sqrt3481.cnf ├── sqrt3721.cnf ├── sqrt4489.cnf ├── sqrt5041.cnf ├── sqrt5329.cnf ├── sqrt6241.cnf ├── sqrt63001.cnf ├── sqrt6889.cnf ├── sqrt7921.cnf ├── sqrt9409.cnf ├── tieshirt.cnf ├── tph6.cnf ├── true.cnf ├── twocores1.cnf ├── twocores2.cnf ├── twocores3.cnf ├── unit1.cnf ├── unit2.cnf ├── unit3.cnf ├── unit4.cnf ├── unit5.cnf ├── unit6.cnf ├── xor1.cnf ├── xor2.cnf ├── xor3.cnf └── xor4.cnf ├── configure ├── cover ├── cover0000.cnf ├── cover0001.cnf ├── cover0002.cnf ├── cover0003.cnf ├── cover0004.cnf ├── cover0005.cnf ├── cover0006.cnf ├── cover0007.cnf ├── cover0009.cnf ├── cover0010.cnf ├── cover0011.cnf ├── cover0012.cnf ├── cover0013.cnf ├── cover0014.cnf ├── cover0015.cnf ├── cover0016.cnf ├── cover0017.cnf ├── cover0018.cnf ├── cover0019.cnf ├── cover0020.cnf ├── cover0021.cnf ├── cover0022.cnf ├── cover0023.cnf ├── cover0024.cnf ├── cover0025.cnf ├── cover0026.cnf ├── cover0027.cnf ├── cover0028.cnf ├── cover0029.cnf ├── cover0030.cnf ├── cover0031.cnf ├── cover0032.cnf ├── cover0033.cnf ├── cover0034.cnf ├── cover0035.cnf ├── cover0036.cnf ├── cover0037.cnf ├── cover0038.cnf ├── cover0039.cnf ├── cover0040.cnf ├── cover0041.cnf ├── cover0042.cnf ├── cover0043.cnf ├── cover0044.cnf └── cover0045.cnf ├── file ├── 0 ├── 1.bz2 ├── 2.gz ├── 3.lzma ├── 4.7z ├── 5.xz ├── uncompressed.7z ├── uncompressed.bz2 ├── uncompressed.gz ├── uncompressed.lzma ├── uncompressed.xz └── writable ├── makefile ├── parse ├── anainsteadoflit ├── comments ├── crnl ├── crnlfile ├── embeddedcoverage ├── embeddedcrmissingnl ├── embeddednegative ├── embeddedoptiocrnl ├── embeddedoptionametoolong ├── embeddedoptioneqmissing ├── emptyfile ├── emptyheadercrnl ├── emptyheaderline ├── emptyline ├── eofafterlit ├── eofafterlitcomment ├── eofafterzero ├── eofbeforeheader ├── eofbodycomment ├── eofheadercomment ├── eofinclauses ├── eofincommmentafterliteral ├── eofinheaderafterc ├── eofinmaxvar ├── headerspaces ├── invalidembeddedoption ├── nlafterp ├── nlaftersign ├── nlaftervars ├── nocafterpspace ├── nocnorp ├── nodigitafterpcnfspace ├── nodigitaftersign ├── nodigitaftervarsnspace ├── nofaftern ├── nonafterc ├── nonlaftercrafterheaderline ├── nonlaftercrafterheadliner ├── nonlaftercrafterlit ├── nonlaftercrinbody ├── nonlafterheaderline ├── nonlafterinvalidembeddedoption ├── nospaceafterf ├── nospaceafterp ├── nospaceaftervars ├── notrailingzero ├── nowsafterlit ├── oneclausemissing ├── onlycomments ├── onlycr ├── onlycraftervars ├── othercharafterheaderline ├── signedunit ├── signeof ├── tabs ├── toolargeclauses1 ├── toolargeclauses2 ├── toolargevars1 ├── toolargevars2 ├── toomanyclauses ├── twoclausesmissing ├── varidxexceeded ├── varidxtoolarge1 ├── varidxtoolarge2 └── zeroaftersign ├── test.c ├── test.h ├── testadd.c ├── testallocate.c ├── testapplication.c ├── testapplication.h ├── testarena.c ├── testarray.c ├── testbits.c ├── testbump.c ├── testcache.c ├── testceil.c ├── testcnfs.h ├── testcollect.c ├── testconfig.c ├── testcoverage.c ├── testdivert.c ├── testdivert.h ├── testdump.c ├── testendianness.c ├── testerror.c ├── testfile.c ├── testformat.c ├── testheap.c ├── testinit.c ├── testkitten.c ├── testmain.c ├── testmessages.c ├── testmessages.h ├── testoptions.c ├── testparse.c ├── testprove.c ├── testqueue.c ├── testrandom.c ├── testrank.c ├── testreap.c ├── testreferences.c ├── testreluctant.c ├── testscheduler.c ├── testscheduler.h ├── testsizes.c ├── testsolve.c ├── testsort.c ├── teststack.c ├── testterminate.c ├── testusage.c ├── testutilities.c └── testvector.c /.clangd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/.clangd -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/README.md -------------------------------------------------------------------------------- /UPSTREAM_VERSION: -------------------------------------------------------------------------------- 1 | 2.0.1 2 | -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 0.1.0-dev 2 | -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/configure -------------------------------------------------------------------------------- /makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/makefile.in -------------------------------------------------------------------------------- /scripts/build-and-test-all-configurations.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/build-and-test-all-configurations.sh -------------------------------------------------------------------------------- /scripts/determine-coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/determine-coverage.sh -------------------------------------------------------------------------------- /scripts/filter-coverage-output.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/filter-coverage-output.sh -------------------------------------------------------------------------------- /scripts/generate-build-header.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/generate-build-header.sh -------------------------------------------------------------------------------- /scripts/make-source-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/make-source-release.sh -------------------------------------------------------------------------------- /scripts/prepare-competition.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/scripts/prepare-competition.sh -------------------------------------------------------------------------------- /src/add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/add.c -------------------------------------------------------------------------------- /src/add.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/add.h -------------------------------------------------------------------------------- /src/allocate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/allocate.c -------------------------------------------------------------------------------- /src/allocate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/allocate.h -------------------------------------------------------------------------------- /src/analyze.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/analyze.c -------------------------------------------------------------------------------- /src/analyze.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/analyze.h -------------------------------------------------------------------------------- /src/ands.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ands.c -------------------------------------------------------------------------------- /src/ands.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ands.h -------------------------------------------------------------------------------- /src/application.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/application.c -------------------------------------------------------------------------------- /src/application.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/application.h -------------------------------------------------------------------------------- /src/arena.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/arena.c -------------------------------------------------------------------------------- /src/arena.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/arena.h -------------------------------------------------------------------------------- /src/array.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/array.h -------------------------------------------------------------------------------- /src/assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/assign.c -------------------------------------------------------------------------------- /src/assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/assign.h -------------------------------------------------------------------------------- /src/assume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/assume.c -------------------------------------------------------------------------------- /src/assume.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/assume.h -------------------------------------------------------------------------------- /src/attribute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/attribute.h -------------------------------------------------------------------------------- /src/autarky.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/autarky.c -------------------------------------------------------------------------------- /src/autarky.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/autarky.h -------------------------------------------------------------------------------- /src/averages.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/averages.c -------------------------------------------------------------------------------- /src/averages.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/averages.h -------------------------------------------------------------------------------- /src/backbone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backbone.c -------------------------------------------------------------------------------- /src/backbone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backbone.h -------------------------------------------------------------------------------- /src/backtrack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backtrack.c -------------------------------------------------------------------------------- /src/backtrack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backtrack.h -------------------------------------------------------------------------------- /src/backward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backward.c -------------------------------------------------------------------------------- /src/backward.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/backward.h -------------------------------------------------------------------------------- /src/bits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/bits.c -------------------------------------------------------------------------------- /src/bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/bits.h -------------------------------------------------------------------------------- /src/build.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/build.c -------------------------------------------------------------------------------- /src/bump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/bump.c -------------------------------------------------------------------------------- /src/bump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/bump.h -------------------------------------------------------------------------------- /src/cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/cache.c -------------------------------------------------------------------------------- /src/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/cache.h -------------------------------------------------------------------------------- /src/check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/check.c -------------------------------------------------------------------------------- /src/check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/check.h -------------------------------------------------------------------------------- /src/clause.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/clause.c -------------------------------------------------------------------------------- /src/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/clause.h -------------------------------------------------------------------------------- /src/clueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/clueue.c -------------------------------------------------------------------------------- /src/clueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/clueue.h -------------------------------------------------------------------------------- /src/collect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/collect.c -------------------------------------------------------------------------------- /src/collect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/collect.h -------------------------------------------------------------------------------- /src/colors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/colors.c -------------------------------------------------------------------------------- /src/colors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/colors.h -------------------------------------------------------------------------------- /src/compact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/compact.c -------------------------------------------------------------------------------- /src/compact.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/compact.h -------------------------------------------------------------------------------- /src/config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/config.c -------------------------------------------------------------------------------- /src/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/config.h -------------------------------------------------------------------------------- /src/configure: -------------------------------------------------------------------------------- 1 | ../configure -------------------------------------------------------------------------------- /src/cover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/cover.h -------------------------------------------------------------------------------- /src/decide.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/decide.c -------------------------------------------------------------------------------- /src/decide.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/decide.h -------------------------------------------------------------------------------- /src/deduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/deduce.c -------------------------------------------------------------------------------- /src/deduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/deduce.h -------------------------------------------------------------------------------- /src/definition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/definition.c -------------------------------------------------------------------------------- /src/definition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/definition.h -------------------------------------------------------------------------------- /src/dense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/dense.c -------------------------------------------------------------------------------- /src/dense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/dense.h -------------------------------------------------------------------------------- /src/dominate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/dominate.c -------------------------------------------------------------------------------- /src/dominate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/dominate.h -------------------------------------------------------------------------------- /src/dump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/dump.c -------------------------------------------------------------------------------- /src/eliminate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/eliminate.c -------------------------------------------------------------------------------- /src/eliminate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/eliminate.h -------------------------------------------------------------------------------- /src/endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/endianness.h -------------------------------------------------------------------------------- /src/equivalences.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/equivalences.c -------------------------------------------------------------------------------- /src/equivalences.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/equivalences.h -------------------------------------------------------------------------------- /src/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/error.c -------------------------------------------------------------------------------- /src/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/error.h -------------------------------------------------------------------------------- /src/extend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/extend.c -------------------------------------------------------------------------------- /src/extend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/extend.h -------------------------------------------------------------------------------- /src/failed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/failed.c -------------------------------------------------------------------------------- /src/failed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/failed.h -------------------------------------------------------------------------------- /src/fastassign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/fastassign.h -------------------------------------------------------------------------------- /src/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/file.c -------------------------------------------------------------------------------- /src/file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/file.h -------------------------------------------------------------------------------- /src/flags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/flags.c -------------------------------------------------------------------------------- /src/flags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/flags.h -------------------------------------------------------------------------------- /src/format.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/format.c -------------------------------------------------------------------------------- /src/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/format.h -------------------------------------------------------------------------------- /src/forward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/forward.c -------------------------------------------------------------------------------- /src/forward.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/forward.h -------------------------------------------------------------------------------- /src/frames.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/frames.h -------------------------------------------------------------------------------- /src/gates.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/gates.c -------------------------------------------------------------------------------- /src/gates.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/gates.h -------------------------------------------------------------------------------- /src/handle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/handle.c -------------------------------------------------------------------------------- /src/handle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/handle.h -------------------------------------------------------------------------------- /src/heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/heap.c -------------------------------------------------------------------------------- /src/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/heap.h -------------------------------------------------------------------------------- /src/ifthenelse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ifthenelse.c -------------------------------------------------------------------------------- /src/ifthenelse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ifthenelse.h -------------------------------------------------------------------------------- /src/import.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/import.c -------------------------------------------------------------------------------- /src/import.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/import.h -------------------------------------------------------------------------------- /src/inline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inline.h -------------------------------------------------------------------------------- /src/inlineassign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlineassign.h -------------------------------------------------------------------------------- /src/inlineframes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlineframes.h -------------------------------------------------------------------------------- /src/inlineheap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlineheap.h -------------------------------------------------------------------------------- /src/inlinequeue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlinequeue.h -------------------------------------------------------------------------------- /src/inlinereap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlinereap.h -------------------------------------------------------------------------------- /src/inlinescore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlinescore.h -------------------------------------------------------------------------------- /src/inlinevector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/inlinevector.h -------------------------------------------------------------------------------- /src/internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/internal.c -------------------------------------------------------------------------------- /src/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/internal.h -------------------------------------------------------------------------------- /src/kissat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/kissat.h -------------------------------------------------------------------------------- /src/kitten.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/kitten.c -------------------------------------------------------------------------------- /src/kitten.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/kitten.h -------------------------------------------------------------------------------- /src/learn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/learn.c -------------------------------------------------------------------------------- /src/learn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/learn.h -------------------------------------------------------------------------------- /src/limits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/limits.c -------------------------------------------------------------------------------- /src/limits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/limits.h -------------------------------------------------------------------------------- /src/literal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/literal.h -------------------------------------------------------------------------------- /src/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/logging.c -------------------------------------------------------------------------------- /src/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/logging.h -------------------------------------------------------------------------------- /src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/main.c -------------------------------------------------------------------------------- /src/makefile: -------------------------------------------------------------------------------- 1 | ../makefile -------------------------------------------------------------------------------- /src/minimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/minimize.c -------------------------------------------------------------------------------- /src/minimize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/minimize.h -------------------------------------------------------------------------------- /src/mode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/mode.c -------------------------------------------------------------------------------- /src/mode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/mode.h -------------------------------------------------------------------------------- /src/nonces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/nonces.c -------------------------------------------------------------------------------- /src/nonces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/nonces.h -------------------------------------------------------------------------------- /src/options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/options.c -------------------------------------------------------------------------------- /src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/options.h -------------------------------------------------------------------------------- /src/parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/parse.c -------------------------------------------------------------------------------- /src/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/parse.h -------------------------------------------------------------------------------- /src/phases.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/phases.c -------------------------------------------------------------------------------- /src/phases.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/phases.h -------------------------------------------------------------------------------- /src/print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/print.c -------------------------------------------------------------------------------- /src/print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/print.h -------------------------------------------------------------------------------- /src/probe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/probe.c -------------------------------------------------------------------------------- /src/probe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/probe.h -------------------------------------------------------------------------------- /src/profile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/profile.c -------------------------------------------------------------------------------- /src/profile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/profile.h -------------------------------------------------------------------------------- /src/promote.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/promote.c -------------------------------------------------------------------------------- /src/promote.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/promote.h -------------------------------------------------------------------------------- /src/proof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/proof.c -------------------------------------------------------------------------------- /src/proof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/proof.h -------------------------------------------------------------------------------- /src/propdense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/propdense.c -------------------------------------------------------------------------------- /src/propdense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/propdense.h -------------------------------------------------------------------------------- /src/prophyper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/prophyper.c -------------------------------------------------------------------------------- /src/prophyper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/prophyper.h -------------------------------------------------------------------------------- /src/proplit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/proplit.h -------------------------------------------------------------------------------- /src/proprobe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/proprobe.c -------------------------------------------------------------------------------- /src/proprobe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/proprobe.h -------------------------------------------------------------------------------- /src/propsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/propsearch.c -------------------------------------------------------------------------------- /src/propsearch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/propsearch.h -------------------------------------------------------------------------------- /src/protect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/protect.c -------------------------------------------------------------------------------- /src/protect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/protect.h -------------------------------------------------------------------------------- /src/queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/queue.c -------------------------------------------------------------------------------- /src/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/queue.h -------------------------------------------------------------------------------- /src/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/random.h -------------------------------------------------------------------------------- /src/rank.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/rank.h -------------------------------------------------------------------------------- /src/reap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reap.c -------------------------------------------------------------------------------- /src/reap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reap.h -------------------------------------------------------------------------------- /src/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reduce.c -------------------------------------------------------------------------------- /src/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reduce.h -------------------------------------------------------------------------------- /src/reference.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reference.h -------------------------------------------------------------------------------- /src/reluctant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reluctant.c -------------------------------------------------------------------------------- /src/reluctant.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/reluctant.h -------------------------------------------------------------------------------- /src/rephase.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/rephase.c -------------------------------------------------------------------------------- /src/rephase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/rephase.h -------------------------------------------------------------------------------- /src/report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/report.c -------------------------------------------------------------------------------- /src/report.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/report.h -------------------------------------------------------------------------------- /src/require.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/require.h -------------------------------------------------------------------------------- /src/resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resize.c -------------------------------------------------------------------------------- /src/resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resize.h -------------------------------------------------------------------------------- /src/resolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resolve.c -------------------------------------------------------------------------------- /src/resolve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resolve.h -------------------------------------------------------------------------------- /src/resources.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resources.c -------------------------------------------------------------------------------- /src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/resources.h -------------------------------------------------------------------------------- /src/restart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/restart.c -------------------------------------------------------------------------------- /src/restart.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/restart.h -------------------------------------------------------------------------------- /src/restore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/restore.c -------------------------------------------------------------------------------- /src/restore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/restore.h -------------------------------------------------------------------------------- /src/search.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/search.c -------------------------------------------------------------------------------- /src/search.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/search.h -------------------------------------------------------------------------------- /src/shrink.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/shrink.c -------------------------------------------------------------------------------- /src/shrink.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/shrink.h -------------------------------------------------------------------------------- /src/smooth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/smooth.c -------------------------------------------------------------------------------- /src/smooth.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/smooth.h -------------------------------------------------------------------------------- /src/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/sort.c -------------------------------------------------------------------------------- /src/sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/sort.h -------------------------------------------------------------------------------- /src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/stack.c -------------------------------------------------------------------------------- /src/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/stack.h -------------------------------------------------------------------------------- /src/statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/statistics.c -------------------------------------------------------------------------------- /src/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/statistics.h -------------------------------------------------------------------------------- /src/strengthen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/strengthen.c -------------------------------------------------------------------------------- /src/strengthen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/strengthen.h -------------------------------------------------------------------------------- /src/substitute.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/substitute.c -------------------------------------------------------------------------------- /src/substitute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/substitute.h -------------------------------------------------------------------------------- /src/sweep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/sweep.c -------------------------------------------------------------------------------- /src/sweep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/sweep.h -------------------------------------------------------------------------------- /src/terminate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/terminate.c -------------------------------------------------------------------------------- /src/terminate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/terminate.h -------------------------------------------------------------------------------- /src/ternary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ternary.c -------------------------------------------------------------------------------- /src/ternary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/ternary.h -------------------------------------------------------------------------------- /src/trail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/trail.c -------------------------------------------------------------------------------- /src/trail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/trail.h -------------------------------------------------------------------------------- /src/transitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/transitive.c -------------------------------------------------------------------------------- /src/transitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/transitive.h -------------------------------------------------------------------------------- /src/utilities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/utilities.c -------------------------------------------------------------------------------- /src/utilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/utilities.h -------------------------------------------------------------------------------- /src/value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/value.h -------------------------------------------------------------------------------- /src/vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/vector.c -------------------------------------------------------------------------------- /src/vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/vector.h -------------------------------------------------------------------------------- /src/vivify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/vivify.c -------------------------------------------------------------------------------- /src/vivify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/vivify.h -------------------------------------------------------------------------------- /src/walk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/walk.c -------------------------------------------------------------------------------- /src/walk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/walk.h -------------------------------------------------------------------------------- /src/watch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/watch.c -------------------------------------------------------------------------------- /src/watch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/watch.h -------------------------------------------------------------------------------- /src/weaken.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/weaken.c -------------------------------------------------------------------------------- /src/weaken.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/weaken.h -------------------------------------------------------------------------------- /src/witness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/witness.c -------------------------------------------------------------------------------- /src/witness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/witness.h -------------------------------------------------------------------------------- /src/xors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/xors.c -------------------------------------------------------------------------------- /src/xors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/src/xors.h -------------------------------------------------------------------------------- /test/big/.gitignore: -------------------------------------------------------------------------------- 1 | genbigand 2 | -------------------------------------------------------------------------------- /test/big/genbigand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/big/genbigand.c -------------------------------------------------------------------------------- /test/big/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/big/makefile -------------------------------------------------------------------------------- /test/cnf/add128.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add128.cnf -------------------------------------------------------------------------------- /test/cnf/add16.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add16.cnf -------------------------------------------------------------------------------- /test/cnf/add32.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add32.cnf -------------------------------------------------------------------------------- /test/cnf/add4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add4.cnf -------------------------------------------------------------------------------- /test/cnf/add64.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add64.cnf -------------------------------------------------------------------------------- /test/cnf/add8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/add8.cnf -------------------------------------------------------------------------------- /test/cnf/and1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/and1.cnf -------------------------------------------------------------------------------- /test/cnf/and2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/and2.cnf -------------------------------------------------------------------------------- /test/cnf/bin1.cnf: -------------------------------------------------------------------------------- 1 | p cnf 2 1 2 | 1 2 0 3 | -------------------------------------------------------------------------------- /test/cnf/bin2.cnf: -------------------------------------------------------------------------------- 1 | p cnf 2 1 2 | -1 -2 0 3 | -------------------------------------------------------------------------------- /test/cnf/bin3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/bin3.cnf -------------------------------------------------------------------------------- /test/cnf/def1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/def1.cnf -------------------------------------------------------------------------------- /test/cnf/diamond1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/diamond1.cnf -------------------------------------------------------------------------------- /test/cnf/diamond2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/diamond2.cnf -------------------------------------------------------------------------------- /test/cnf/diamond3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/diamond3.cnf -------------------------------------------------------------------------------- /test/cnf/eq1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/eq1.cnf -------------------------------------------------------------------------------- /test/cnf/eq2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/eq2.cnf -------------------------------------------------------------------------------- /test/cnf/eq3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/eq3.cnf -------------------------------------------------------------------------------- /test/cnf/false.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /test/cnf/full2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/full2.cnf -------------------------------------------------------------------------------- /test/cnf/full3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/full3.cnf -------------------------------------------------------------------------------- /test/cnf/full4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/full4.cnf -------------------------------------------------------------------------------- /test/cnf/hard.cnf: -------------------------------------------------------------------------------- 1 | ph11.cnf -------------------------------------------------------------------------------- /test/cnf/ite1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ite1.cnf -------------------------------------------------------------------------------- /test/cnf/ph11.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph11.cnf -------------------------------------------------------------------------------- /test/cnf/ph2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph2.cnf -------------------------------------------------------------------------------- /test/cnf/ph3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph3.cnf -------------------------------------------------------------------------------- /test/cnf/ph4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph4.cnf -------------------------------------------------------------------------------- /test/cnf/ph5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph5.cnf -------------------------------------------------------------------------------- /test/cnf/ph6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/ph6.cnf -------------------------------------------------------------------------------- /test/cnf/prime121.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime121.cnf -------------------------------------------------------------------------------- /test/cnf/prime1369.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime1369.cnf -------------------------------------------------------------------------------- /test/cnf/prime1681.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime1681.cnf -------------------------------------------------------------------------------- /test/cnf/prime169.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime169.cnf -------------------------------------------------------------------------------- /test/cnf/prime1849.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime1849.cnf -------------------------------------------------------------------------------- /test/cnf/prime2209.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime2209.cnf -------------------------------------------------------------------------------- /test/cnf/prime25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime25.cnf -------------------------------------------------------------------------------- /test/cnf/prime289.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime289.cnf -------------------------------------------------------------------------------- /test/cnf/prime361.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime361.cnf -------------------------------------------------------------------------------- /test/cnf/prime4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime4.cnf -------------------------------------------------------------------------------- /test/cnf/prime4294967297.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime4294967297.cnf -------------------------------------------------------------------------------- /test/cnf/prime49.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime49.cnf -------------------------------------------------------------------------------- /test/cnf/prime529.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime529.cnf -------------------------------------------------------------------------------- /test/cnf/prime65537.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime65537.cnf -------------------------------------------------------------------------------- /test/cnf/prime841.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime841.cnf -------------------------------------------------------------------------------- /test/cnf/prime9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime9.cnf -------------------------------------------------------------------------------- /test/cnf/prime961.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/prime961.cnf -------------------------------------------------------------------------------- /test/cnf/probe1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/probe1.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt10201.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt10201.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt1042441.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt1042441.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt10609.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt10609.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt11449.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt11449.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt11881.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt11881.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt12769.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt12769.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt16129.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt16129.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt259081.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt259081.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt2809.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt2809.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt3481.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt3481.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt3721.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt3721.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt4489.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt4489.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt5041.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt5041.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt5329.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt5329.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt6241.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt6241.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt63001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt63001.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt6889.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt6889.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt7921.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt7921.cnf -------------------------------------------------------------------------------- /test/cnf/sqrt9409.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/sqrt9409.cnf -------------------------------------------------------------------------------- /test/cnf/tieshirt.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/tieshirt.cnf -------------------------------------------------------------------------------- /test/cnf/tph6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/tph6.cnf -------------------------------------------------------------------------------- /test/cnf/true.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/cnf/twocores1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/twocores1.cnf -------------------------------------------------------------------------------- /test/cnf/twocores2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/twocores2.cnf -------------------------------------------------------------------------------- /test/cnf/twocores3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/twocores3.cnf -------------------------------------------------------------------------------- /test/cnf/unit1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit1.cnf -------------------------------------------------------------------------------- /test/cnf/unit2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit2.cnf -------------------------------------------------------------------------------- /test/cnf/unit3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit3.cnf -------------------------------------------------------------------------------- /test/cnf/unit4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit4.cnf -------------------------------------------------------------------------------- /test/cnf/unit5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit5.cnf -------------------------------------------------------------------------------- /test/cnf/unit6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/unit6.cnf -------------------------------------------------------------------------------- /test/cnf/xor1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/xor1.cnf -------------------------------------------------------------------------------- /test/cnf/xor2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/xor2.cnf -------------------------------------------------------------------------------- /test/cnf/xor3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/xor3.cnf -------------------------------------------------------------------------------- /test/cnf/xor4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cnf/xor4.cnf -------------------------------------------------------------------------------- /test/configure: -------------------------------------------------------------------------------- 1 | ../configure -------------------------------------------------------------------------------- /test/cover/cover0000.cnf: -------------------------------------------------------------------------------- 1 | c status 10 2 | p cnf 0 0 3 | -------------------------------------------------------------------------------- /test/cover/cover0001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0001.cnf -------------------------------------------------------------------------------- /test/cover/cover0002.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0002.cnf -------------------------------------------------------------------------------- /test/cover/cover0003.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0003.cnf -------------------------------------------------------------------------------- /test/cover/cover0004.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0004.cnf -------------------------------------------------------------------------------- /test/cover/cover0005.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0005.cnf -------------------------------------------------------------------------------- /test/cover/cover0006.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0006.cnf -------------------------------------------------------------------------------- /test/cover/cover0007.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0007.cnf -------------------------------------------------------------------------------- /test/cover/cover0009.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0009.cnf -------------------------------------------------------------------------------- /test/cover/cover0010.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0010.cnf -------------------------------------------------------------------------------- /test/cover/cover0011.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0011.cnf -------------------------------------------------------------------------------- /test/cover/cover0012.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0012.cnf -------------------------------------------------------------------------------- /test/cover/cover0013.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0013.cnf -------------------------------------------------------------------------------- /test/cover/cover0014.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0014.cnf -------------------------------------------------------------------------------- /test/cover/cover0015.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0015.cnf -------------------------------------------------------------------------------- /test/cover/cover0016.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0016.cnf -------------------------------------------------------------------------------- /test/cover/cover0017.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0017.cnf -------------------------------------------------------------------------------- /test/cover/cover0018.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0018.cnf -------------------------------------------------------------------------------- /test/cover/cover0019.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0019.cnf -------------------------------------------------------------------------------- /test/cover/cover0020.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0020.cnf -------------------------------------------------------------------------------- /test/cover/cover0021.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0021.cnf -------------------------------------------------------------------------------- /test/cover/cover0022.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0022.cnf -------------------------------------------------------------------------------- /test/cover/cover0023.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0023.cnf -------------------------------------------------------------------------------- /test/cover/cover0024.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0024.cnf -------------------------------------------------------------------------------- /test/cover/cover0025.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0025.cnf -------------------------------------------------------------------------------- /test/cover/cover0026.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0026.cnf -------------------------------------------------------------------------------- /test/cover/cover0027.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0027.cnf -------------------------------------------------------------------------------- /test/cover/cover0028.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0028.cnf -------------------------------------------------------------------------------- /test/cover/cover0029.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0029.cnf -------------------------------------------------------------------------------- /test/cover/cover0030.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0030.cnf -------------------------------------------------------------------------------- /test/cover/cover0031.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0031.cnf -------------------------------------------------------------------------------- /test/cover/cover0032.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0032.cnf -------------------------------------------------------------------------------- /test/cover/cover0033.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0033.cnf -------------------------------------------------------------------------------- /test/cover/cover0034.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0034.cnf -------------------------------------------------------------------------------- /test/cover/cover0035.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0035.cnf -------------------------------------------------------------------------------- /test/cover/cover0036.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0036.cnf -------------------------------------------------------------------------------- /test/cover/cover0037.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0037.cnf -------------------------------------------------------------------------------- /test/cover/cover0038.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0038.cnf -------------------------------------------------------------------------------- /test/cover/cover0039.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0039.cnf -------------------------------------------------------------------------------- /test/cover/cover0040.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0040.cnf -------------------------------------------------------------------------------- /test/cover/cover0041.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0041.cnf -------------------------------------------------------------------------------- /test/cover/cover0042.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0042.cnf -------------------------------------------------------------------------------- /test/cover/cover0043.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0043.cnf -------------------------------------------------------------------------------- /test/cover/cover0044.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0044.cnf -------------------------------------------------------------------------------- /test/cover/cover0045.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/cover/cover0045.cnf -------------------------------------------------------------------------------- /test/file/0: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/1.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/file/1.bz2 -------------------------------------------------------------------------------- /test/file/2.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/file/2.gz -------------------------------------------------------------------------------- /test/file/3.lzma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/file/3.lzma -------------------------------------------------------------------------------- /test/file/4.7z: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/file/4.7z -------------------------------------------------------------------------------- /test/file/5.xz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/file/5.xz -------------------------------------------------------------------------------- /test/file/uncompressed.7z: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/uncompressed.bz2: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/uncompressed.gz: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/uncompressed.lzma: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/uncompressed.xz: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/file/writable: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/makefile -------------------------------------------------------------------------------- /test/parse/anainsteadoflit: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 3 | a 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /test/parse/comments: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/comments -------------------------------------------------------------------------------- /test/parse/crnl: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 3 | 1 0 4 | -------------------------------------------------------------------------------- /test/parse/crnlfile: -------------------------------------------------------------------------------- 1 | c 2 | c comment 3 | p cnf 1 1 4 | 1 0 5 | -------------------------------------------------------------------------------- /test/parse/embeddedcoverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/embeddedcoverage -------------------------------------------------------------------------------- /test/parse/embeddedcrmissingnl: -------------------------------------------------------------------------------- 1 | c --verbose=1 p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/parse/embeddednegative: -------------------------------------------------------------------------------- 1 | c --oops=-1 2 | p cnf 0 0 3 | -------------------------------------------------------------------------------- /test/parse/embeddedoptiocrnl: -------------------------------------------------------------------------------- 1 | c --oops 2 | p cnf 0 0 3 | -------------------------------------------------------------------------------- /test/parse/embeddedoptionametoolong: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/embeddedoptionametoolong -------------------------------------------------------------------------------- /test/parse/embeddedoptioneqmissing: -------------------------------------------------------------------------------- 1 | c --oops 2 | p cnf 0 0 3 | -------------------------------------------------------------------------------- /test/parse/emptyfile: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/parse/emptyheadercrnl: -------------------------------------------------------------------------------- 1 | c a header comment 2 | 3 | c another one 4 | p cnf 0 0 5 | -------------------------------------------------------------------------------- /test/parse/emptyheaderline: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/emptyheaderline -------------------------------------------------------------------------------- /test/parse/emptyline: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/parse/eofafterlit: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 3 | 1 -------------------------------------------------------------------------------- /test/parse/eofafterlitcomment: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1comment -------------------------------------------------------------------------------- /test/parse/eofafterzero: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 3 | 0 -------------------------------------------------------------------------------- /test/parse/eofbeforeheader: -------------------------------------------------------------------------------- 1 | c no header follows 2 | -------------------------------------------------------------------------------- /test/parse/eofbodycomment: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 0 3 | c -------------------------------------------------------------------------------- /test/parse/eofheadercomment: -------------------------------------------------------------------------------- 1 | c end-of-file in header comment -------------------------------------------------------------------------------- /test/parse/eofinclauses: -------------------------------------------------------------------------------- 1 | p cnf 1 1 -------------------------------------------------------------------------------- /test/parse/eofincommmentafterliteral: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 0comment but no nl -------------------------------------------------------------------------------- /test/parse/eofinheaderafterc: -------------------------------------------------------------------------------- 1 | c -------------------------------------------------------------------------------- /test/parse/eofinmaxvar: -------------------------------------------------------------------------------- 1 | p cnf 1 -------------------------------------------------------------------------------- /test/parse/headerspaces: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/headerspaces -------------------------------------------------------------------------------- /test/parse/invalidembeddedoption: -------------------------------------------------------------------------------- 1 | c --oops=1 2 | p cnf 0 0 3 | -------------------------------------------------------------------------------- /test/parse/nlafterp: -------------------------------------------------------------------------------- 1 | p 2 | -------------------------------------------------------------------------------- /test/parse/nlaftersign: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | - 3 | 4 | -------------------------------------------------------------------------------- /test/parse/nlaftervars: -------------------------------------------------------------------------------- 1 | p cnf 1 2 | -------------------------------------------------------------------------------- /test/parse/nocafterpspace: -------------------------------------------------------------------------------- 1 | comment 2 | p 3 | -------------------------------------------------------------------------------- /test/parse/nocnorp: -------------------------------------------------------------------------------- 1 | a 2 | -------------------------------------------------------------------------------- /test/parse/nodigitafterpcnfspace: -------------------------------------------------------------------------------- 1 | c 2 | p cnf nodigit 3 | -------------------------------------------------------------------------------- /test/parse/nodigitaftersign: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 3 | 4 | -nodigit 5 | 6 | -------------------------------------------------------------------------------- /test/parse/nodigitaftervarsnspace: -------------------------------------------------------------------------------- 1 | p cnf 1 nodigit 2 | -------------------------------------------------------------------------------- /test/parse/nofaftern: -------------------------------------------------------------------------------- 1 | c 2 | c 3 | c 4 | p cnF 5 | -------------------------------------------------------------------------------- /test/parse/nonafterc: -------------------------------------------------------------------------------- 1 | p c 2 | -------------------------------------------------------------------------------- /test/parse/nonlaftercrafterheaderline: -------------------------------------------------------------------------------- 1 | p cnf 1 1 -------------------------------------------------------------------------------- /test/parse/nonlaftercrafterheadliner: -------------------------------------------------------------------------------- 1 | c p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/parse/nonlaftercrafterlit: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 a -------------------------------------------------------------------------------- /test/parse/nonlaftercrinbody: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -------------------------------------------------------------------------------- /test/parse/nonlafterheaderline: -------------------------------------------------------------------------------- 1 | p cnf 1 1 -------------------------------------------------------------------------------- /test/parse/nonlafterinvalidembeddedoption: -------------------------------------------------------------------------------- 1 | c- p cnf 0 0 2 | -------------------------------------------------------------------------------- /test/parse/nospaceafterf: -------------------------------------------------------------------------------- 1 | p cnf 2 | -------------------------------------------------------------------------------- /test/parse/nospaceafterp: -------------------------------------------------------------------------------- 1 | pa 2 | -------------------------------------------------------------------------------- /test/parse/nospaceaftervars: -------------------------------------------------------------------------------- 1 | c 2 | c 3 | c 4 | p cnf 1nospace 5 | -------------------------------------------------------------------------------- /test/parse/notrailingzero: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 3 | -------------------------------------------------------------------------------- /test/parse/nowsafterlit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/nowsafterlit -------------------------------------------------------------------------------- /test/parse/oneclausemissing: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -------------------------------------------------------------------------------- /test/parse/onlycomments: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/onlycomments -------------------------------------------------------------------------------- /test/parse/onlycr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/parse/onlycraftervars: -------------------------------------------------------------------------------- 1 | p cnf 1 -------------------------------------------------------------------------------- /test/parse/othercharafterheaderline: -------------------------------------------------------------------------------- 1 | p cnf 1 1 nonl -------------------------------------------------------------------------------- /test/parse/signedunit: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -1 0 3 | -------------------------------------------------------------------------------- /test/parse/signeof: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | - -------------------------------------------------------------------------------- /test/parse/tabs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/tabs -------------------------------------------------------------------------------- /test/parse/toolargeclauses1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/toolargeclauses1 -------------------------------------------------------------------------------- /test/parse/toolargeclauses2: -------------------------------------------------------------------------------- 1 | p cnf 20000 18446744073709551616 2 | -------------------------------------------------------------------------------- /test/parse/toolargevars1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/toolargevars1 -------------------------------------------------------------------------------- /test/parse/toolargevars2: -------------------------------------------------------------------------------- 1 | p cnf 268435456 0 2 | -------------------------------------------------------------------------------- /test/parse/toomanyclauses: -------------------------------------------------------------------------------- 1 | p cnf 1 0 2 | 1 3 | 0 4 | -------------------------------------------------------------------------------- /test/parse/twoclausesmissing: -------------------------------------------------------------------------------- 1 | p cnf 1 2 2 | -------------------------------------------------------------------------------- /test/parse/varidxexceeded: -------------------------------------------------------------------------------- 1 | p cnf 13 1 2 | 14 0 3 | -------------------------------------------------------------------------------- /test/parse/varidxtoolarge1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/varidxtoolarge1 -------------------------------------------------------------------------------- /test/parse/varidxtoolarge2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/parse/varidxtoolarge2 -------------------------------------------------------------------------------- /test/parse/zeroaftersign: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -0 3 | -------------------------------------------------------------------------------- /test/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/test.c -------------------------------------------------------------------------------- /test/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/test.h -------------------------------------------------------------------------------- /test/testadd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testadd.c -------------------------------------------------------------------------------- /test/testallocate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testallocate.c -------------------------------------------------------------------------------- /test/testapplication.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testapplication.c -------------------------------------------------------------------------------- /test/testapplication.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testapplication.h -------------------------------------------------------------------------------- /test/testarena.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testarena.c -------------------------------------------------------------------------------- /test/testarray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testarray.c -------------------------------------------------------------------------------- /test/testbits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testbits.c -------------------------------------------------------------------------------- /test/testbump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testbump.c -------------------------------------------------------------------------------- /test/testcache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testcache.c -------------------------------------------------------------------------------- /test/testceil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testceil.c -------------------------------------------------------------------------------- /test/testcnfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testcnfs.h -------------------------------------------------------------------------------- /test/testcollect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testcollect.c -------------------------------------------------------------------------------- /test/testconfig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testconfig.c -------------------------------------------------------------------------------- /test/testcoverage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testcoverage.c -------------------------------------------------------------------------------- /test/testdivert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testdivert.c -------------------------------------------------------------------------------- /test/testdivert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testdivert.h -------------------------------------------------------------------------------- /test/testdump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testdump.c -------------------------------------------------------------------------------- /test/testendianness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testendianness.c -------------------------------------------------------------------------------- /test/testerror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testerror.c -------------------------------------------------------------------------------- /test/testfile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testfile.c -------------------------------------------------------------------------------- /test/testformat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testformat.c -------------------------------------------------------------------------------- /test/testheap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testheap.c -------------------------------------------------------------------------------- /test/testinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testinit.c -------------------------------------------------------------------------------- /test/testkitten.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testkitten.c -------------------------------------------------------------------------------- /test/testmain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testmain.c -------------------------------------------------------------------------------- /test/testmessages.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testmessages.c -------------------------------------------------------------------------------- /test/testmessages.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testmessages.h -------------------------------------------------------------------------------- /test/testoptions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testoptions.c -------------------------------------------------------------------------------- /test/testparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testparse.c -------------------------------------------------------------------------------- /test/testprove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testprove.c -------------------------------------------------------------------------------- /test/testqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testqueue.c -------------------------------------------------------------------------------- /test/testrandom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testrandom.c -------------------------------------------------------------------------------- /test/testrank.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testrank.c -------------------------------------------------------------------------------- /test/testreap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testreap.c -------------------------------------------------------------------------------- /test/testreferences.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testreferences.c -------------------------------------------------------------------------------- /test/testreluctant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testreluctant.c -------------------------------------------------------------------------------- /test/testscheduler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testscheduler.c -------------------------------------------------------------------------------- /test/testscheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testscheduler.h -------------------------------------------------------------------------------- /test/testsizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testsizes.c -------------------------------------------------------------------------------- /test/testsolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testsolve.c -------------------------------------------------------------------------------- /test/testsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testsort.c -------------------------------------------------------------------------------- /test/teststack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/teststack.c -------------------------------------------------------------------------------- /test/testterminate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testterminate.c -------------------------------------------------------------------------------- /test/testusage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testusage.c -------------------------------------------------------------------------------- /test/testutilities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testutilities.c -------------------------------------------------------------------------------- /test/testvector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jix/kissat_extras/HEAD/test/testvector.c --------------------------------------------------------------------------------