AFellner/Awesome-Time-Tabling
Time Tabling using the QF_UFLIA logic and SMT solver Yices
Public GitHub Catalog
Discovered Sep 30, 2026
AFellner / Thesis
Documents of my Master Thesis about Space & Congruence compression of proofs
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.
#18490137GitHub System ID
AFellnerOrganization / User
PublicVisibility
ActiveCatalog Status
More from AFellner
AFellner/PerfectRef
Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.
AFellner/RandomZ3
little program generating random formulae in SMT2 format as well as in DIMACS. They are fed to the z3 SMT Solver and the output is printed
AFellner/Proofenumerator
This program enumerates all proofs for an arbiatrary propositional logic calculus up to a specified proof length.