7 ms·

found this: https://logicaffeine.com/guide https://logicaffeine.com/guide

• tristenharr 2mo ago
  Yes that's the language, the v0.10.0 benchmarks are coming very soon and with it some major updates. We've added supercompilation and symmetry breaking to the optimizer pipeline. Sneak peeks available on a branch currently named stream1. https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1 https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1