andrejbauer/lvr-sat
SAT solver (for teaching purposes in the course Logic in computer science)
Public GitHub Catalog
Discovered Sep 28, 2026
andrejbauer / alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
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.
#13435409GitHub System ID
andrejbauerOrganization / User
PublicVisibility
ActiveCatalog Status
More from andrejbauer
andrejbauer/costa-surface
Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
andrejbauer/backup
Remote backups using ssh and rsync.
andrejbauer/book
A textbook on informal homotopy type theory