Commits · master · Çağrı Uluç Yıldırımoğlu / Kissat3-pb2

Apr 26, 2023
- moved write_proof to the appropriate place in order to write to the same proof file as BreakID · 4b8f47da
  Cagri authored 1 year ago
  
  4b8f47da
Apr 25, 2023
- Moved load_order from kissat to BreakID. Made sure proof initializes after reading input. · d08b332c
  Cagri authored 1 year ago
  
  d08b332c
Apr 24, 2023
- writing proof to the same file as BreakID. · 6665a8d0
  Cagri authored 1 year ago
  
  6665a8d0
- minor fix for proof logging. · 537a172d
  Çağrı Uluç Yıldırımoğlu authored 1 year ago
  
  537a172d
Apr 21, 2023
- printing only original variables fix. · 0b9283bf
  Çağrı Uluç Yıldırımoğlu authored 1 year ago
  
  0b9283bf
- changed non-binary proofs to pb 2.0 format. Did a hack so that kissat always reads cnfs from stdin. · da6adf35
  Cagri authored 1 year ago
  
  da6adf35
Jul 07, 2022
- fixed NEWS.md · 97917ddf
  Armin Biere authored 2 years ago
  
  97917ddf
Jul 06, 2022
- fixed version · c25429fb
  Armin Biere authored 2 years ago
  
  rel-3.0.0
  
  c25429fb
- Merge branch 'master' of github.com:arminbiere/kissat · fd1bee61
  Armin Biere authored 2 years ago
  
  fd1bee61
- new version for consistency · 4d371054
  Armin Biere authored 2 years ago
  
  4d371054
- new version for consistency · 414b3f49
  Armin Biere authored 2 years ago
  
  414b3f49
Jun 29, 2022
- removed two heuristics bugs · 13cc7ff1
  Armin Biere authored 2 years ago
  
  13cc7ff1
Jun 15, 2022
- imported sc2022-light · 0fbf4195
  Armin Biere authored 2 years ago
  
  sc2022-light
  
  0fbf4195
- imported sc2022-hyper · e0770703
  Armin Biere authored 2 years ago
  
  sc2022-hyper
  
  e0770703
- imported sc2022-bulky · c5cce1b9
  Armin Biere authored 2 years ago
  
  sc2022-bulky
  
  c5cce1b9
Oct 28, 2021
- removed again · 02cd6962
  Armin Biere authored 3 years ago
  
  02cd6962
- Create codeql-analysis.yml · cd930d24
  Armin Biere authored 3 years ago
  
  Unverified
  
  cd930d24
Sep 15, 2021
- removed coverage goal · abfa45fb
  Armin Biere authored 3 years ago
  
  abfa45fb
Jun 08, 2021
- inlined kissat_signal_name · 00a3a338
  Armin Biere authored 3 years ago
  
  00a3a338
Apr 29, 2021
- imported sc2021-sweep submission · 8cf49a43
  Armin Biere authored 3 years ago
  
  sc2021-sweep
  
  8cf49a43
- imported sc2021 submission · 8174f940
  Armin Biere authored 3 years ago
  
  sc2021
  
  8174f940
Mar 04, 2021
- avoid "hanging" in failed literal probing · 8fca2aa2
  Armin Biere authored 4 years ago
  
  8fca2aa2
Feb 01, 2021
- migrated to travis-ci.com · 59813add
  Armin Biere authored 4 years ago
  
  rel-1.0.3
  
  59813add
Jul 08, 2020
- removed · 613c1853
  Armin Biere authored 4 years ago
  
  613c1853
Jul 04, 2020
- running · baef4609
  Armin Biere authored 4 years ago
  
  baef4609
Jun 27, 2020
- removed strange main.o · 80c42f07
  Armin Biere authored 4 years ago
  
  80c42f07
- slightly optimized makefile · eaae1d5d
  Armin Biere authored 4 years ago
  
  eaae1d5d
- added · 8c898612
  Armin Biere authored 4 years ago
  
  8c898612
- fixed · 1e48a6bb
  Armin Biere authored 4 years ago
  
  1e48a6bb
Jun 26, 2020
- removed dependency on newest xcode in .travis.yml · 1f89b95c
  Armin Biere authored 4 years ago
  
  1f89b95c
- fixed failed test allocation on Fedora · 5743655e
  Armin Biere authored 4 years ago
  
  5743655e
Jun 12, 2020
- update travis environments · f4623c4a
  Armin Biere authored 4 years ago
  
  f4623c4a
- added · 8911f82b
  Armin Biere authored 4 years ago
  
  8911f82b
May 27, 2020
- options for disabling phase saving and forcing phase · 89a2226b
  Armin Biere authored 4 years ago
  
  89a2226b
- imported sc2020 submission · 2414b6d7
  Armin Biere authored 4 years ago
  
  sc2020
  
  2414b6d7

Admin message