urbanophile / awesome-sat-solvers Star 13 Code Issues Pull requests A curated collection of resources for the Boolean Satisfiability Problem (SAT). awesome optimization logic awesome-list formal-methods sat-solver smt sat deductive-reasoning automate-reasoning Updated Jan 14, 2025
0xGeorgii / SharpLogic Star 12 Code Issues Pull requests Discussions Open source F# mathematical logic library. formula fsharp dotnet logic mathematics propositional-logic intuitionistic-logic automate-inference automate-reasoning automate-teorem-proofs Updated May 16, 2022 F#
RAIRLab / ShadowAdjudicator Star 2 Code Issues Pull requests An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic. python modal-logic automate-reasoning Updated Feb 14, 2023 Python