Here are
168 public repositories
matching this topic...
Loop Parallelization for MPC
Logic puzzle solver using Z3 Theorem Prover
Updated
Mar 13, 2022
Jupyter Notebook
Assignment 1, Logic for Computer Science, Spring 2021, IIT Bombay
Updated
Mar 5, 2021
Python
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.
Updated
Jan 24, 2022
Python
Python: Linear Programming Interface (ppl,z3)
Updated
Oct 9, 2020
Python
Updated
Jun 7, 2020
Jupyter Notebook
solving-satisfaction-problems-with-theorem-provers
Updated
Jun 21, 2020
Python
Solves monochromatic nonograms, powered by Rust and Z3
Updated
Mar 30, 2024
Rust
Updated
Apr 23, 2018
Haskell
A Flask API for solving systems of linear equations with two variables
Updated
Dec 21, 2019
Python
Updated
Jan 3, 2022
Jupyter Notebook
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
Updated
Jun 22, 2023
Jupyter Notebook
My attempt at understanding the Z3 API for .NET (F#)
CS458 at Clarkson University Spring 24
Golang bindings to the STP API
Updated
Apr 28, 2019
Python
Solutions to automated reasoning problems
Whitebox autograder for Python functions.
Updated
Aug 10, 2022
Python
DepKit: A Typed Language for Advanced Package Management
Improve this page
Add a description, image, and links to the
z3
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
z3
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.