z3 topic

Sudoku Solver using Z3

ppmx

Racket bindings for Z3

philnguyen

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

mbeddr

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

bohlender

Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.

frizensami

a GRId LOgic Puzzle Solver library

obijywk

A toy code generator (i.e. "program synthesis") using the Z3 solver

nickgildea

A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator...

vmunoz82

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

marcelwa

Vagrant setup for building a machine for CTF/exploit development

kapaw