Loop Parallelization for MPC
-
Updated
Oct 5, 2020 - Java
Loop Parallelization for MPC
This Python bot is an automated solver for the popular puzzle game Flow Free. Leveraging the power of the Z3 constraint solver, the bot intelligently solves Flow Free puzzles by strategically connecting matching-colored pipes without any user input.
Python: Linear Programming Interface (ppl,z3)
Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.
A bounded model checker for an IMP-style imperative language.
A tiny utility library for building z3-powered JavaScript.
solving-satisfaction-problems-with-theorem-provers
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
Automated cryptanalysis of substitution permutation network cipher
CP and SMT model to solve the Present Wrapping Problem (PWP): given a wrapping paper roll of a certain dimen- sion and a list of presents, decide how to cut off pieces of paper so that all the presents can be wrapped. Consider that each present is described by the dimensions of the piece of paper needed to wrap it. Moreover, each necessary piece…
My attempt at understanding the Z3 API for .NET (F#)
Add a description, image, and links to the z3 topic page so that developers can more easily learn about it.
To associate your repository with the z3 topic, visit your repo's landing page and select "manage topics."