sat-solver 0.2.0

A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Documentation
This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) (preloaded format=pdflatex 2024.11.22)  26 APR 2025 17:50
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**

! Emergency stop.
<*> 
    
End of file on the terminal!

 
Here is how much of TeX's memory you used:
 3 strings out of 473362
 102 string characters out of 5720983
 390205 words of memory out of 5000000
 23213 multiletter control sequences out of 15000+600000
 558069 words of font info for 36 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 0i,0n,0p,1b,6s stack positions out of 10000i,1000n,20000p,200000b,200000s
!  ==> Fatal error occurred, no output PDF file produced!