#
z3
Here are 106 public repositories matching this topic...
Open
Use more flake8
5
pschanely
commented
Oct 8, 2021
Right now (in precommit.py) we only enable a few checks (E9, F63, F7, F82).
Looks like there are a lot of other useful ones in there; investigate moving to a set of blocklisted checks.
Open
Migrate to pytest
2
5
Verification framework and tool for higher-order Scala programs
-
Updated
Nov 4, 2021 - HTML
Constraint solver based on coverage-guided fuzzing
llvm
jit
fuzzing
smtlib
smtlibv2
z3
constraint-solver
libfuzzer
floating-point-arithmetic
coverage-guided-fuzzing
-
Updated
Sep 5, 2019 - C++
Code and exercises for a workshop on z3 and angr
-
Updated
Dec 29, 2020 - Python
Jupyter notebooks for tutorial on the Z3 SMT solver
-
Updated
May 8, 2021 - Jupyter Notebook
Automated Schedule Generation for Time-Sensitive Networks (TSN).
-
Updated
Sep 22, 2021 - Java
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
-
Updated
Sep 25, 2021 - Vim script
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq
ideas
startup
z3
formal-methods
sat-solver
entrepreneurship
software-verification
smt-solver
research-paper
formal-verification
quantum-programming-language
research-data
research-software-engineering
programming-language-theory
ideasworthsharing
-
Updated
Aug 17, 2019
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
Finding bugs in P4 compilers using translation validation.
-
Updated
Nov 1, 2021 - P4
A toy code generator (i.e. "program synthesis") using the Z3 solver
-
Updated
Nov 13, 2017 - C++
a GRId LOgic Puzzle Solver library
-
Updated
Jan 14, 2021 - Python
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
prism
architecture
z3
spin
gsn
nusmv
stpa
contract-based-design
requirements-specification
safety-assurance
interface-specification
-
Updated
Nov 3, 2021 - Roff
frizensami
commented
Jun 21, 2021
Is your feature request related to a problem? Please describe.
Removing all modules with the remove all button without asking for confirmation might be annoying.
Describe the solution you'd like
Popup modal to confirm the choice.
Intrepyd Model Checker
python
pypi
z3
model-checking
formal-methods
automated-tests
smt-solver
formal-verification
model-checker
-
Updated
Nov 5, 2021 - Python
Scripts and Javascript Glue code to use Z3 in the browser using WASM
-
Updated
Aug 22, 2021 - JavaScript
Sudoku Solver using Z3
-
Updated
Jan 23, 2020 - C++
https://regexcrossword.com/ solver using Z3py
-
Updated
Jun 30, 2018 - Python
Improve this page
Add a description, image, and links to the z3 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the z3 topic, visit your repo's landing page and select "manage topics."
It's nice if testing doesn't produce unnecessary artifacts after running with success but keeps relevant info on fail for further inspection.
Pytest should have a nice way of creating fixtures that can post-process a test based on whether it failed or not https://docs.pytest.org/en/latest/example/simple.html#making-test-result-information-available-in-fixtures
If a test fails, then keep the