Jalil's Blog where he explains stuff he has been working on... maybe... Zola 2023-03-04T00:00:00+00:00 https://jalil.salame.cl/tags/sat/atom.xml 2023-03-04T00:00:00+00:00 2023-03-04T00:00:00+00:00 Unknown https://jalil.salame.cl/blog/rsat/

<p>This is a (WIP) post about my (WIP) SAT solver: <a rel="nofollow noreferrer external" href="https://github.com/jalil-salame/rsat">rsat</a></p>