Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Smt Open Source Projects

Open source projects categorized as Smt
Vim Smt2 ⭐ 36
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
most recent commit a year ago
Nikon Gp1 Diy ⭐ 36
A low-cost GPS module for Nikon DSLRs
most recent commit 5 years ago
Mailer Plugin ⭐ 35
This plugin allows you to configure email notifications for build results
most recent commit 7 months ago
Z3fs ⭐ 34
Simple DSL to solve SMT problems using Z3 API in F#
most recent commit 5 years ago
Z3 Ios ⭐ 34
run z3 on iOS for some reason
most recent commit 2 years ago
Smt Kit ⭐ 34
C++11 library for many-sorted logics
most recent commit 7 years ago
Scabolic ⭐ 33
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
most recent commit 9 years ago
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
most recent commit 2 years ago
Terpret ⭐ 32
most recent commit 7 years ago
Spectector ⭐ 32
Automatic detection of speculative information flows
most recent commit 5 years ago
Computie ⭐ 31
A collection of 68k computer projects, including a unix-like operating system written in C that runs on them
most recent commit 9 months ago
Benchmarks ⭐ 31
Benchmarks for SyGuS Competition (SyGuS-Comp)
most recent commit a year ago
Skeptik ⭐ 31
A library for Proof Theory (especially Proof Compression) in Scala.
total releases 1most recent commit 7 years ago
Smaccm ⭐ 31
most recent commit 5 years ago
Nv ⭐ 30
A Framework for Modeling and Analyzing Network Configurations
most recent commit a year ago
Z3pp ⭐ 29
most recent commit 5 months ago
Unmt Spr ⭐ 29
Implementation of “Unsupervised Neural Machine Translation with SMT as Posterior Regularization” (AAAI 2019)
most recent commit 5 years ago
Smt Whitepaper ⭐ 29
Smart Media Tokens whitepaper
most recent commit 4 years ago
Ksmt ⭐ 28
Kotlin/Java API for various SMT solvers
dependent packages 10total releases 15most recent commit 4 months ago
Clpsmt Minikanren ⭐ 28
CLP(SMT) on top of miniKanren
most recent commit 2 years ago
Rust Smt Ir ⭐ 28
dependent packages 1total releases 3most recent commit 9 months agocargo aws-smt-ir-derive} Downloads
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4most recent commit 3 months ago
Llvm2smt ⭐ 27
Experimental translation of llvm to smt.
most recent commit 4 years ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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