Awesome Open Source

Programming Languages

Search results for smt z3

15 search results found

Manticore ⭐ 3,535

Symbolic execution tool

Stainless ⭐ 339

Verification framework and tool for higher-order Scala programs

Constraint solver based on coverage-guided fuzzing

Yinyang ⭐ 148

A fuzzing framework for SMT solvers

Haskell Z3 ⭐ 54

Haskell bindings to Microsoft's Z3 API (unofficial).

Vim Smt2 ⭐ 36

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

Z3overlay ⭐ 33

An overlay for the OCaml Z3 binding.

Eda_tools ⭐ 24

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.

An interactive development environment for SMT-LIB files and Z3

Nus Timetable Optimizer ⭐ 18

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

Regex Crossword Solver ⭐ 12

https://regexcrossword.com/ solver using Z3py

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

Swiprologz3 ⭐ 11

A simple Prolog API for the Z3 constraint solver

Z3_codegen ⭐ 8

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

Stainlessfit ⭐ 5

Stainless directly built on System FR, with standalone front-end

Related Searches

Python Smt (106)

C Plus Plus Smt (70)

Haskell Smt (41)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.