Awesome Open Source

Programming Languages

Search results for synthesis smt

10 search results found

Synthesis of Heap-Manipulating Programs from Separation Logic

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

Grisette ⭐ 43

A monadic library for symbolic evaluation

Learning to Solve SMT Formulas Fast

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.

Counterexample-Driven Genetic Programming

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

Z3_codegen ⭐ 8

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

Party Elli ⭐ 6

SMT based bounded synthesis

Our trace seperation tool, originally introduced on POPL15.

Related Searches

Python Synthesis (769)

Python Smt (108)

Java Synthesis (71)

C Plus Plus Smt (68)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

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