Emi Soroka

icon indicating a website link elsoroka.github.io

icon company Stanford University icon location Palo Alto, CA. USA icon location PhD candidate, Stanford Information Systems Lab.

Results 1 repositories owned by Emi Soroka

Satisfiability.jl

23
Stars
2
Forks
Watchers

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

verified publisher icon elsoroka