automate-reasoning

Here are 3 public repositories matching this topic...

Open source F# mathematical logic library.

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.

Add a description, image, and links to the automate-reasoning topic page so that developers can more easily learn about it.

To associate your repository with the automate-reasoning topic, visit your repo's landing page and select "manage topics."