/z3-basics

This was a project related to one of my lectures at university. It shows how to solve some common optimization problems with the z3 library.

Primary LanguagePython

This repository is not active