mace4

Here are 4 public repositories matching this topic...

Artificial Intelligence course (3rd year, 1st semester)

Public transportation trip-planner in Cluj-Napoca, using First Order Logic and Planning.

python api first-order-logic prover9 planning-algorithms fastapi mace4

A logic-based Minesweeper game where clues are First-Order Logic formulas, solved using Prover9 and Mace4 theorem provers.

Solutions to automated reasoning problems

z3 smt prover9 nusmv automated-reasoning mace4

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

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