perf: Optimize the LRAT parser as far as I can

leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning

Apache License 2.0

48 stars 6 forks source link

Closed hargoniX closed 3 months ago

hargoniX commented 3 months ago

Related to #80. This pushes the LRAT parser to 1.185 GBit/s on my machine.