Giters
Jason R Koenig (jrkoenig)

jrkoenig

Geek Repo

1

followers

0

following

3

stars

Company:Stanford University Computer Science Department

Location:Stanford, CA

Home Page:jrkoenig.com

Github PK Tool:Github PK Tool

Jason R Koenig's repositories

folseparators

First Order Logic Separators

Language:PythonLicense:Apache-2.0Stargazers:5Issues:0Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mypyvy

A language for symbolic transitions system, inspired by Ivy.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

stoke-driver

Language:PythonStargazers:0Issues:1Issues:0