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

Mar 11, 2025
- Add three-value bool · 15ae3d44
  Tomas Krchnak authored 3 days ago
  
  15ae3d44
- Simplify names of add_X functions · a85436ce
  Tomas Krchnak authored 3 days ago
  
  a85436ce
- Add var_t in types + index op in clause/formula · c96db07d
  Tomas Krchnak authored 3 days ago
  
  c96db07d
- Add assignments, watched maps + initialization · a311305c
  Tomas Krchnak authored 3 days ago
  
  a311305c
- Split literal to var and polarity in pick_unassigned · fe05baea
  Tomas Krchnak authored 3 days ago
  
  fe05baea
- Allow unlimited number of literals in clause · 5247ffa8
  Tomas Krchnak authored 3 days ago
  
  5247ffa8
- Add basic skeleton for solver · 36aed4b6
  Tomas Krchnak authored 3 days ago
  
  36aed4b6
- Make types iterable + add constexpr · 06fd6fb8
  Tomas Krchnak authored 3 days ago
  
  06fd6fb8
- Make literal a struct · c3811331
  Tomas Krchnak authored 3 days ago
  
  c3811331
Apr 01, 2024
- Clean up includes · 88feefe1
  Tomas Krchnak authored 11 months ago
  
  88feefe1
- Add -fmax-errors=1 to makefile · b2433f25
  Tomas Krchnak authored 11 months ago
  
  b2433f25
- Move printing to a separate file · 0a449791
  Tomas Krchnak authored 11 months ago
  
  0a449791
Mar 08, 2024
- Update README · bcdc0d33
  Tomas Krchnak authored 1 year ago
  
  bcdc0d33
Feb 22, 2024
- Add basic DIMACS parser · 42e8cc18
  somtom authored 1 year ago
  
  42e8cc18
- Add simple clause and formula structs · c479e596
  somtom authored 1 year ago
  
  c479e596
- Add test data · 717eefd3
  somtom authored 1 year ago
  
  717eefd3
- Add header files to makefile · e21e2b14
  somtom authored 1 year ago
  
  e21e2b14
- Add gitignore · cda900d3
  somtom authored 1 year ago
  
  cda900d3
- Add makefile · dba0292d
  somtom authored 1 year ago
  
  dba0292d
- Add simple main function · f5d28108
  somtom authored 1 year ago
  
  f5d28108
- Initial commit · c26c55ab
  Tomáš Krchňák authored 1 year ago
  
  c26c55ab