Commits · main · Adéla Štěpková / koSATka · GitLab

May 19, 2024
- fix(readme): fix some typos · 3b74fbac
  Adéla Štěpková authored May 19, 2024
  
  3b74fbac
- feat: optimize constants further · 90e77e10
  Jindřich Sedláček authored May 19, 2024
  
  90e77e10
May 17, 2024
- fix: removing aborts (for some reason slowed down kosatka) · bfb89a38
  Jindřich Sedláček authored May 17, 2024
  
  bfb89a38
- feat: Add summary into README, add other minor changes · dbd83d7e
  Jindřich Sedláček authored May 17, 2024
  
  dbd83d7e
May 13, 2024
- Utúlie'n aurë! Tuning parameters to take our rightful first place. · b4cab828
  Jindřich Sedláček authored May 13, 2024
  
  b4cab828
May 12, 2024
- Merge branch 'final-changes' into 'main' · e5bb6bd2
  Adéla Štěpková authored May 12, 2024
  e5bb6bd2
- feat: fix model minimization algorithm · 0244d33c
  Jindřich Sedláček authored May 12, 2024
  
  0244d33c
- feat: more efficient algorithm for minimization of generated models · ed6947a2
  Jindřich Sedláček authored May 12, 2024
  
  ed6947a2
May 10, 2024
- feat: add minimization of generated models · 729bd956
  Jindřich Sedláček authored May 10, 2024
  
  729bd956
May 06, 2024
- Merge branch 'better_parser' into 'main' · 53b76677
  Adéla Štěpková authored May 06, 2024
  53b76677
May 05, 2024
- fix(parser): better work with vectors · 648699c6
  Adéla Štěpková authored May 05, 2024
  
  648699c6
- feat(parser): use string_view and avoid string copying in parser · 0ae9336e
  Adéla Štěpková authored May 05, 2024
  
  0ae9336e
Apr 30, 2024
- Merge branch 'yet-another-refactor' into 'main' · 933ee980
  Adéla Štěpková authored Apr 30, 2024
  933ee980
Apr 27, 2024
- fix: remove misleading comments · b750af0f
  Jindřich Sedláček authored Apr 27, 2024
  
  b750af0f
- feat: refactor clause, allow storing literals in place · 07f6efb1
  Jindřich Sedláček authored Apr 27, 2024
  
  07f6efb1
Apr 26, 2024
- feat: do not remember unit clauses in the engine · 0bb6283f
  Jindřich Sedláček authored Apr 26, 2024
  
  0bb6283f
- fix: kosatka is now correct for trivially unsatisfiable formulas · add336f7
  Jindřich Sedláček authored Apr 26, 2024
  
  add336f7
- Merge branch 'yet-another-refactor' into 'main' · 99b52500
  Adéla Štěpková authored Apr 26, 2024
  99b52500
- feat(cmake): built in release mode by default · 57114f90
  Jindřich Sedláček authored Apr 26, 2024
  
  57114f90
Apr 25, 2024
- feat(forgetting): add a new CLI option - forget percentage · f346e597
  Jindřich Sedláček authored Apr 25, 2024
  
  f346e597
- feat(unit propagation): finish refactor, speed up forgetting · 75121571
  Jindřich Sedláček authored Apr 25, 2024
  
  75121571
- feat(unit propagation): continue refactor, seems to work · 8aa775bb
  Jindřich Sedláček authored Apr 25, 2024
  
  8aa775bb
- feat(unit propagation): begin refactor, already works with dpll · 6d1fa223
  Jindřich Sedláček authored Apr 25, 2024
  
  6d1fa223
- Merge branch 'clause-forgetting' into 'main' · 85ccf7ce
  Adéla Štěpková authored Apr 25, 2024
  85ccf7ce
- fix(readme): correct default constants in readme · 34940481
  Jindřich Sedláček authored Apr 25, 2024
  
  34940481
- feat(clause forgetting): set up CLI for clause forgetting · 0061aa6f
  Jindřich Sedláček authored Apr 25, 2024
  
  0061aa6f
- feat(clause forgetting): it works! · 9e6e313a
  Jindřich Sedláček authored Apr 25, 2024
  
  9e6e313a
Apr 24, 2024
- wip(clause forgetting): implement clause forgetting (broken) · a9cf3cc6
  Jindřich Sedláček authored Apr 24, 2024
  
  a9cf3cc6
- feat(clause forgetting): prepare clause forgetting in solver · 822f1079
  Jindřich Sedláček authored Apr 24, 2024
  
  822f1079
- fix(other): use deque instead of a vector for unit-propagable, for some reason seems faster · de550c7e
  Jindřich Sedláček authored Apr 24, 2024
  
  de550c7e
- Merge branch 'state-refactor' into 'main' · d33d8753
  Adéla Štěpková authored Apr 24, 2024
  d33d8753
- fix(minimization): minimization is on by default, instead of off · 6d416c82
  Jindřich Sedláček authored Apr 24, 2024
  
  6d416c82
Apr 23, 2024
- feat(state-refactor): refactor two watched literals - significantly faster · 3d9d19b2
  Jindřich Sedláček authored Apr 23, 2024
  
  3d9d19b2
- feat(state-refactor): refactor learning (again) · f6443fa6
  Jindřich Sedláček authored Apr 23, 2024
  
  f6443fa6
- feat(state-refactor): use the new class in the solver · a1f3c066
  Jindřich Sedláček authored Apr 23, 2024
  
  a1f3c066
- feat(state-refactor): create a new class with information about formula and... · 0350a09e
  Jindřich Sedláček authored Apr 23, 2024
  0350a09e
Apr 22, 2024
- Merge branch 'cli-refactor' into 'main' · f02a47bd
  Adéla Štěpková authored Apr 22, 2024
  f02a47bd
- fix(restarts): backtrack only once, even with reset · 6eddfcb1
  Jindřich Sedláček authored Apr 22, 2024
  
  6eddfcb1
- fix(restart and evsids): signal to variable picker when reset happens · 60474b2d
  Jindřich Sedláček authored Apr 22, 2024
  
  60474b2d
- feat(clause minimization): add a simple algorithm for minimizing learnt clauses · fcd922de
  Jindřich Sedláček authored Apr 22, 2024
  
  fcd922de