smt-solvers

Here are 3 public repositories matching this topic...

LLM-Generated Prolog Predicates with Embedded Justification Chains - Academic Research Paper (100+ pages, 97.5% correctness)

🤖 Generate Prolog predicates using LLMs that embed reasoning justifications, bridging neural and symbolic AI for improved logical coherence.

Python Package for solving sudoku with SAT and SMT.

python automated-reasoning sudokus sat-solvers smt-solvers

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

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