nick8325/fourier-motzkin
A wee solver for linear inequalities based on Fourier-Motzkin elimination.
Public GitHub Catalog
Discovered Sep 24, 2026
nick8325 / equinox
Paradox model finder and equinox theorem prover for first-order logic.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1923127GitHub System ID
nick8325Organization / User
PublicVisibility
ActiveCatalog Status
More from nick8325
nick8325/haiku-ghc
Instructions+patches for building GHC for Haiku
nick8325/gc
A non-conservative garbage collector for cooperating C programs. Not entirely sure why it exists.
nick8325/metaerlang
Symbolic evaluation for the pure part of Erlang.