GitHub - bohdant-of/applied_logic: This repository contains solutions to labs for course Applied Logic. All problems are solved with Z3 theorem prover.

Repository navigation

applied_logic

Public

This repository contains solutions to labs for course Applied Logic. All problems are solved with Z3 theorem prover.

0 stars

0 watching

Name		Name	Last commit message	Last commit date
3 Triangles & Non-Transitive Dice		3 Triangles & Non-Transitive Dice
8Queens & Medicine problem		8Queens & Medicine problem
Alphametics		Alphametics
Prime Circles & Cannibals		Prime Circles & Cannibals
Skyscrapers & Water jugs		Skyscrapers & Water jugs
Towers of Hanoi		Towers of Hanoi

This repository contains solutions to labs for course Applied Logic. All problems are solved with Z3 theorem prover.

0 stars

0 watching