mace4

There are 2 repositories under mace4 topic.

bori00/AI_LightsOut
Artificial Intelligence course (3rd year, 1st semester)
Language:Python0 1 00
LeonVitanos/automated-reasoning
Solutions to automated reasoning problems
Language:SMT0 1 00