Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • non-hacked
  • rel-3.0.0
  • sc2022-light
  • sc2022-hyper
  • sc2022-bulky
  • sc2021-sweep
  • sc2021
  • rel-1.0.3
  • sc2020
10 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.026Apr2524217Jul629Jun1528Oct15Sep8Jun29Apr4Mar1Feb8Jul427Jun261227Maymoved write_proof to the appropriate place in order to write to the same proof file as BreakIDmastermasterMoved load_order from kissat to BreakID. Made sure proof initializes after reading input.writing proof to the same file as BreakID.minor proof logging error fix.non-hackednon-hackedminor fix for proof logging.error fix.printing only original variables fix.removed hacks for always reading from stdin and reading the original number of variables from BreakIDs output. this branch is a standalone kissat3 that writes pb 2 proofs.changed non-binary proofs to pb 2.0 format. Did a hack so that kissat always reads cnfs from stdin.fixed NEWS.mdfixed versionrel-3.0.0rel-3.0.0Merge branch 'master' of github.com:arminbiere/kissatnew version for consistencynew version for consistencyremoved two heuristics bugsimported sc2022-lightsc2022-lightsc2022-lightimported sc2022-hypersc2022-hypersc2022-hyperimported sc2022-bulkysc2022-bulkysc2022-bulkyremoved againCreate codeql-analysis.ymlremoved coverage goalinlined kissat_signal_nameimported sc2021-sweep submissionsc2021-sweepsc2021-sweepimported sc2021 submissionsc2021sc2021avoid "hanging" in failed literal probingmigrated to travis-ci.comrel-1.0.3rel-1.0.3removedrunningremoved strange main.oslightly optimized makefileaddedfixedremoved dependency on newest xcode in .travis.ymlfixed failed test allocation on Fedoraupdate travis environmentsaddedoptions for disabling phase saving and forcing phaseimported sc2020 submissionsc2020sc2020