GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → ARMmbed → Mbed Hdk Eagle Projects

ARMmbed / Mbed Hdk Eagle Projects

Licence: other
Collection of Eagle projects for targets, interfaces, shields and more

Labels

smt

Projects that are alternatives of or similar to Mbed Hdk Eagle Projects

clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Stars: ✭ 31 (-65.93%)
Mutual labels:  smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+235.16%)
Mutual labels:  smt
Liquidhaskell
Liquid Types For Haskell
Stars: ✭ 863 (+848.35%)
Mutual labels:  smt
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (+17.58%)
Mutual labels:  smt
kafka-connect-transform-kryptonite
Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project
Stars: ✭ 30 (-67.03%)
Mutual labels:  smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+274.73%)
Mutual labels:  smt
mailer-plugin
This plugin allows you to configure email notifications for build results
Stars: ✭ 35 (-61.54%)
Mutual labels:  smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (-13.19%)
Mutual labels:  smt
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
Stars: ✭ 83 (-8.79%)
Mutual labels:  smt
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✭ 476 (+423.08%)
Mutual labels:  smt
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-61.54%)
Mutual labels:  smt
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-78.02%)
Mutual labels:  smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+286.81%)
Mutual labels:  smt
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-47.25%)
Mutual labels:  smt
Dreal4
SMT Solver for Nonlinear Theories of Reals
Stars: ✭ 72 (-20.88%)
Mutual labels:  smt
py2many
Transpiler of Python to many other languages
Stars: ✭ 420 (+361.54%)
Mutual labels:  smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (+272.53%)
Mutual labels:  smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (-3.3%)
Mutual labels:  smt
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Stars: ✭ 73 (-19.78%)
Mutual labels:  smt
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✭ 386 (+324.18%)
Mutual labels:  smt
View All Similar Projects ➔

This project does not contain a readme.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].