Commits · main · Vladimír Uhlík / SATzilla · GitLab

Jun 01, 2025
- Add report to README. · 23104788
  Vladimír Uhlík authored Jun 01, 2025
  
  23104788
- src: Change EMA heuristic a bit. · d6cabfd5
  Vladimír Uhlík authored Jun 01, 2025
  
  d6cabfd5
May 31, 2025
- src: Hot-fix: add conditions to prevent segmentation fault. · 5a96f014
  Vladimír Uhlík authored May 31, 2025
  
  5a96f014
May 30, 2025
- src: Set all values in seen_levels to zero during restart. · 961dccec
  Vladimír Uhlík authored May 30, 2025
  
  961dccec
- src: Update README. · 891e2a6b
  Vladimír Uhlík authored May 30, 2025
  
  891e2a6b
- src: Refactor a bit. · 847149d5
  Vladimír Uhlík authored May 30, 2025
  
  847149d5
- src: Remove unused includes. · fca21cb4
  Vladimír Uhlík authored May 30, 2025
  
  fca21cb4
- src: Count ldb in conflict analysis. · 72d1386b
  Vladimír Uhlík authored May 30, 2025
  
  72d1386b
- src: Reformate code and make space for UIP in learnt clause. · 55cc24f6
  Vladimír Uhlík authored May 30, 2025
  
  55cc24f6
- src: Use memset for seen. · 4eca7cf5
  Vladimír Uhlík authored May 30, 2025
  
  4eca7cf5
- src: Initialize act_const and timestamp outiside the constructor. · a3591969
  Vladimír Uhlík authored May 30, 2025
  
  a3591969
- src: Use getter, reformate code a bit, remove unused code. · 1bbf998c
  Vladimír Uhlík authored May 30, 2025
  
  1bbf998c
- src: Remove unnecessary sorting. · 90457ac8
  Vladimír Uhlík authored May 30, 2025
  
  90457ac8
- src: Rewrite 2WL scheme. · a2e1b94d
  Vladimír Uhlík authored May 30, 2025
  
  a2e1b94d
- src: Use std::unordered_set instead of std::set. · bb9bbd37
  Vladimír Uhlík authored May 30, 2025
  
  bb9bbd37
- scr: Rewrite learn procedure. · 79b306b9
  Vladimír Uhlík authored May 30, 2025
  
  79b306b9
- src: Fix broken restart scheme. · 4cf906d1
  Vladimír Uhlík authored May 30, 2025
  
  4cf906d1
- src: Use 32 bit ints and change type of reason clause. · 80e8b81d
  Vladimír Uhlík authored May 30, 2025
  
  80e8b81d
- src: Rewrite conflict analysis according to miniSAT implementation. · f658ebb8
  Vladimír Uhlík authored May 30, 2025
  
  f658ebb8
- src: Fix broken restart scheme and optimize ldb computation a bit. · 167f2c9c
  Vladimír Uhlík authored May 30, 2025
  
  167f2c9c
- src: Use 32 bit ints in parser. · f27cdf64
  Vladimír Uhlík authored May 30, 2025
  
  f27cdf64
- src: Use 32 bit ints in heap. · 043ffc04
  Vladimír Uhlík authored May 30, 2025
  
  043ffc04
- Update README. · 4a0644c2
  Vladimír Uhlík authored May 30, 2025
  
  4a0644c2
May 22, 2025
- src: Remove reduntant updates of watched literals and optimize the implementation a bit. · 2710d198
  Vladimír Uhlík authored May 22, 2025
  
  2710d198
- Update README. · c386bdef
  Vladimír Uhlík authored May 22, 2025
  
  c386bdef
- src: Add Glucose EMA restart scheme. · 6333847c
  Vladimír Uhlík authored May 22, 2025
  
  6333847c
May 20, 2025
- Change VSIDS to EVSIDS in README. · 75ed571b
  Vladimír Uhlík authored May 20, 2025
  
  75ed571b
- Update README. · 68f0dc5f
  Vladimír Uhlík authored May 20, 2025
  
  68f0dc5f
- src: Add functionality for working with the priority heap of variables and activity bumping. · 4f99d467
  Vladimír Uhlík authored May 20, 2025
  
  4f99d467
- src: Add heap implementation to support EVSIDS. · d7964be0
  Vladimír Uhlík authored May 20, 2025
  
  d7964be0
- src: Find at least one variable set to True in checker. · 870520b0
  Vladimír Uhlík authored May 20, 2025
  
  870520b0
- Change rcheck target. · a2a70856
  Vladimír Uhlík authored May 20, 2025
  
  a2a70856
May 04, 2025
- src: Use saved decision level instead of manual computing. · d7df1d2f
  Vladimír Uhlík authored May 04, 2025
  
  d7df1d2f
May 01, 2025
- src: Use decision level in conflict analysis. · 0d736756
  Vladimír Uhlík authored May 01, 2025
  
  0d736756
- src: Use max_level constant instead of calling max() function. · 3b91792a
  Vladimír Uhlík authored May 01, 2025
  
  3b91792a
- Update gitlab yaml. · 05714980
  Vladimír Uhlík authored May 01, 2025
  
  05714980
- Update gitlab-ci.yml. · d2b9c1c3
  Vladimír Uhlík authored May 01, 2025
  
  d2b9c1c3
- src: One huge commit introducint conflict-driven clause learning machinery. · 8a368f2b
  Vladimír Uhlík authored May 01, 2025
  
  8a368f2b
- Check bakctracklevel only and do not use move. · 0cfda4b9
  Vladimír Uhlík authored May 01, 2025
  
  0cfda4b9
- Update README. · 7191db30
  Vladimír Uhlík authored May 01, 2025
  
  7191db30