Commits · main · Tomáš Krchňák / sat-solver

Browse files

Jun 01, 2025
- Implement variable picker using heap + return model · fda09229
  Tomas Krchnak authored Jun 01, 2025
  
  fda09229
- Fix makefile space · 1ce2d84e
  Tomas Krchnak authored Jun 01, 2025
  
  1ce2d84e
- Update gitignore · 5389af30
  Tomas Krchnak authored Jun 01, 2025
  
  5389af30
- Update makefile + add test script · c1afb0e9
  Tomas Krchnak authored Jun 01, 2025
  
  c1afb0e9
- Finish dpll + refactor · 0d7235a3
  Tomas Krchnak authored Jun 01, 2025
  
  0d7235a3
- Remove data from repo · 7f3a87ac
  Tomas Krchnak authored Jun 01, 2025
  
  7f3a87ac
Mar 30, 2025
- Make literal constructor explicit + fix neg() · 001cd130
  Tomas Krchnak authored Mar 30, 2025
  
  001cd130
- Change structure of solvers · 7ee70e1e
  Tomas Krchnak authored Mar 30, 2025
  
  7ee70e1e
- Refactor parser · 26244e86
  Tomas Krchnak authored Mar 30, 2025
  
  26244e86
- Fix makefile + add instructions in readme · f21e5b9c
  Tomas Krchnak authored Mar 30, 2025
  
  f21e5b9c
Mar 11, 2025
- Add three-value bool · 15ae3d44
  Tomas Krchnak authored Mar 11, 2025
  
  15ae3d44
- Simplify names of add_X functions · a85436ce
  Tomas Krchnak authored Mar 11, 2025
  
  a85436ce
- Add var_t in types + index op in clause/formula · c96db07d
  Tomas Krchnak authored Mar 11, 2025
  
  c96db07d
- Add assignments, watched maps + initialization · a311305c
  Tomas Krchnak authored Mar 11, 2025
  
  a311305c
- Split literal to var and polarity in pick_unassigned · fe05baea
  Tomas Krchnak authored Mar 11, 2025
  
  fe05baea
- Allow unlimited number of literals in clause · 5247ffa8
  Tomas Krchnak authored Mar 11, 2025
  
  5247ffa8
- Add basic skeleton for solver · 36aed4b6
  Tomas Krchnak authored Mar 11, 2025
  
  36aed4b6
- Make types iterable + add constexpr · 06fd6fb8
  Tomas Krchnak authored Mar 11, 2025
  
  06fd6fb8
- Make literal a struct · c3811331
  Tomas Krchnak authored Mar 11, 2025
  
  c3811331
Apr 01, 2024
- Clean up includes · 88feefe1
  Tomas Krchnak authored Apr 01, 2024
  
  88feefe1
- Add -fmax-errors=1 to makefile · b2433f25
  Tomas Krchnak authored Apr 01, 2024
  
  b2433f25
- Move printing to a separate file · 0a449791
  Tomas Krchnak authored Apr 01, 2024
  
  0a449791
Mar 08, 2024
- Update README · bcdc0d33
  Tomas Krchnak authored Mar 08, 2024
  
  bcdc0d33
Feb 22, 2024
- Add basic DIMACS parser · 42e8cc18
  somtom authored Feb 22, 2024
  
  42e8cc18
- Add simple clause and formula structs · c479e596
  somtom authored Feb 22, 2024
  
  c479e596
- Add test data · 717eefd3
  somtom authored Feb 22, 2024
  
  717eefd3
- Add header files to makefile · e21e2b14
  somtom authored Feb 22, 2024
  
  e21e2b14
- Add gitignore · cda900d3
  somtom authored Feb 22, 2024
  
  cda900d3
- Add makefile · dba0292d
  somtom authored Feb 22, 2024
  
  dba0292d
- Add simple main function · f5d28108
  somtom authored Feb 22, 2024
  
  f5d28108
- Initial commit · c26c55ab
  Tomáš Krchňák authored Feb 22, 2024
  
  c26c55ab