#
mace4
Here are 4 public repositories matching this topic...
Public transportation trip-planner in Cluj-Napoca, using First Order Logic and Planning.
-
Updated
Dec 30, 2025 - Python
A logic-based Minesweeper game where clues are First-Order Logic formulas, solved using Prover9 and Mace4 theorem provers.
-
Updated
Feb 4, 2026 - Python
Artificial Intelligence course (3rd year, 1st semester)
-
Updated
Dec 11, 2021 - Python
Improve this page
Add a description, image, and links to the mace4 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mace4 topic, visit your repo's landing page and select "manage topics."