search

tuwien2020 / tgi-pages

Open tools for the TGI course at the TU Vienna
https://tuwien2020.github.io/tgi-pages/#/
The Unlicense
12 stars 5 forks source link

Sat solver #33

Open stefnotch opened 3 years ago

stefnotch commented 3 years ago

Everyone-ish in FMOD found the SAT solver to be confusing. By the way SMT solvers are better because they don't need something in CNF https://jgalenson.github.io/research.js/demos/minisat.html