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 → adafruit → Adafruit_cad_parts

adafruit / Adafruit_cad_parts

Licence: mit
CAD files for various boards, components and parts

Labels

smt

Projects that are alternatives of or similar to Adafruit cad parts

Yices2
The Yices SMT Solver
Stars: ✭ 248 (-35.75%)
Mutual labels:  smt
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-87.56%)
Mutual labels:  smt
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
Stars: ✭ 83 (-78.5%)
Mutual labels:  smt
stevia
A simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (-92.23%)
Mutual labels:  smt
py2many
Transpiler of Python to many other languages
Stars: ✭ 420 (+8.81%)
Mutual labels:  smt
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-90.93%)
Mutual labels:  smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-48.45%)
Mutual labels:  smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (-11.66%)
Mutual labels:  smt
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Stars: ✭ 31 (-91.97%)
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 (-92.23%)
Mutual labels:  smt
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-94.3%)
Mutual labels:  smt
mailer-plugin
This plugin allows you to configure email notifications for build results
Stars: ✭ 35 (-90.93%)
Mutual labels:  smt
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (-69.69%)
Mutual labels:  smt
scalogno
prototyping logic programming in Scala
Stars: ✭ 38 (-90.16%)
Mutual labels:  smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (-20.98%)
Mutual labels:  smt
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (-37.56%)
Mutual labels:  smt
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (-72.28%)
Mutual labels:  smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (-8.81%)
Mutual labels:  smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (-12.18%)
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 (-94.82%)
Mutual labels:  smt
View All Similar Projects ➔

Adafruit_CAD_Parts

STEP, Fusion 360, and STL files for various boards, components and parts

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].