Calvin-L/many-smt Calvin-L/many-smt

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Calvin-L/many-smt
github

Calvin-L

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An SMT frontend that runs multiple backend solvers in parallel, returning the first result

More Repositories

1

MarchingTetrahedrons

A tiny, simple implementation of the marching tetrahedrons algorithm.
C++
25
star
2

sj3d

A simple 3D software renderer for Java
Java
12
star
3

gen2it

Compiles python-style generators to java-style iterators
Python
6
star
4

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3
Python
6
star
5

ui-parser

Parses hand-drawn sketches into full-blown layout code
C++
5
star
6

util

Utility scripts and wisdom for myself. Someone else might find it useful too.
Python
4
star
7

sublime-smtlib

SMTLIB syntax highlighting for Sublime Text 3
SMT
4
star
8

ezpsl

The easy parallel algorithm specification language
Haskell
4
star
9

sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3
TLA
3
star
10

sjforms

A small declarative-style library for validating untrusted input in Java
Java
1
star
11

checker-framework-plus-lombok

A demonstration of the Checker Framework and Lombok working in harmony
Shell
1
star
12

crash-safe-io

A small Java library for crash-safe file I/O
Java
1
star
13

calbloom

A dirt-simple Bloom filter library for C++
C++
1
star
14

pppl

The Persistent Parallel Programming Language
Rust
1
star
15

minilang

A tiny, surprisingly turing-complete language
Haskell
1
star
16

sqez

A thin thread-safe wrapper around Python's sqlite3
Python
1
star