Topic: smt-solver Goto Github
Some thing interesting about smt-solver
Some thing interesting about smt-solver
smt-solver,Reference implementations for Symbolic Abstraction algorithms.
Organization: 95616arg
smt-solver,SMT solver for the theory of floating-point arithmetic
User: abenkhadra
smt-solver,A constraint solver built from scratch in OCaml
User: acorrenson
Home Page: https://jdrprod.github.io/modulus
smt-solver,Aeon programming language
User: alcides
Home Page: https://alcides.github.io/aeon/
smt-solver,A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
User: c-cube
Home Page: https://c-cube.github.io/sidekick/
smt-solver,The Cubicle model checker
Organization: cubicle-model-checker
Home Page: http://cubicle.lri.fr
smt-solver,Some tutorials for different approaches to verify neural networks.
User: ddiekmann
smt-solver,Automated Reasoning in Nonlinear Theories of Reals
Organization: dreal
Home Page: https://dreal.github.io
smt-solver,The efficient SMT-based context-bounded model checker (ESBMC)
Organization: esbmc
Home Page: http://esbmc.org/
smt-solver,Low-level Rust bindings for the Boolector SMT solver
User: fatemender
smt-solver,Intrepyd Model Checker
Organization: formalmethods
smt-solver,Code and exercises for a workshop on z3 and angr
Organization: fsecurelabs
Home Page: https://labs.mwrinfosecurity.com/publications/intro-to-binary-analysis-with-z3-and-angr
smt-solver,A modular sat/smt solver with proof output.
User: gbury
Home Page: https://gbury.github.io/mSAT/
smt-solver,Invoke SMT solvers from Coq to check obligations
User: gmalecha
smt-solver,A RISC-V RV32 model ready for SMT program synthesis.
Organization: ics-jku
Home Page: https://www.ics.jku.at/
smt-solver,KeY Theorem Prover for Deductive Java Verification
Organization: keyproject
Home Page: https://key-project.org
smt-solver,gradient-based symbolic execution engine implemented from scratch
User: koukyosyumei
smt-solver,🔎 wheeler graph recognition algorithm, visualization and generation
User: kuanhao-chao
Home Page: https:// doi.org/10.1016/j.isci.2023.107402
smt-solver,A diabolic implementation of mcSAT 😈
User: louisabraham
smt-solver,MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
Organization: machsmt
Home Page: https://machsmt.github.io/
smt-solver,Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
User: marcelwa
smt-solver,Yet Another Sat solvER
User: marcluque
Home Page: https://marcluque.com
smt-solver,A bioinformatics tool for analyzing somatic hypermutation
User: matthew-mosior
smt-solver,Go (golang) bindings to the Z3 SMT Solver
User: mitchellh
smt-solver,My sandbox for experimenting with solver algorithms.
User: msakai
smt-solver,Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
User: paultristanwagner
smt-solver,A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Organization: pfnet-research
smt-solver,Jupyter notebooks for tutorial on the Z3 SMT solver
User: philzook58
smt-solver,Rust bindings for the Z3 solver.
Organization: prove-rs
smt-solver,Writeup for Move CTF 2022 by MoveBit and others.
User: saruman9
smt-solver,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.
User: satyendrabanjare
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources
smt-solver,A Formal Method playground for limboole, Z3, nuXmv, and Alloy
Organization: se-buw
Home Page: https://play.formal-methods.net/
smt-solver,An approximate solver for concolic execution
Organization: season-lab
Home Page: https://season-lab.github.io/fuzzolic/
smt-solver,An experimental obfuscator for software protection using the SMT-based code generation
Organization: silab-nitkc
smt-solver,The Yices SMT Solver
Organization: sri-csl
Home Page: https://yices.csl.sri.com/
smt-solver,Python bindings for yices2
Organization: sri-csl
smt-solver,Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
User: szynwelski
smt-solver,Automated Controller Synthesis
User: umangm
smt-solver,Kotlin/Java API for various SMT solvers
Organization: unittestbot
Home Page: https://ksmt.io/
smt-solver,The Eldarica model checker
User: uuverifiers
smt-solver,An SMT Solver for string constraints
User: uuverifiers
smt-solver,The Princess Theorem Prover
User: uuverifiers
smt-solver,Agda library for verifying neural networks.
User: wenkokke
Home Page: https://wenkokke.github.io/amethyst/
smt-solver,Liquid Haskell library for verifying neural networks.
User: wenkokke
smt-solver,A library for translating TensorFlow models to z3.
User: wenkokke
smt-solver,Agda bindings to SMT-LIB2 compatible solvers.
User: wenkokke
smt-solver,F* library for verifying neural networks.
User: wenkokke
smt-solver,An ocaml implementation of conflict-driven reasoning
Organization: witan-org
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.