skorobogatov

Moscow

Pinned Repositories

skorobogatov/input
C-like input functions for BMSTU students
Language:Go4 1 01
skorobogatov/protosmt
Prototype SMT Solver
Language:Python41
skorobogatov/z3
Golang binding for Z3 theorem prover from Microsoft Research
Language:Go20
skorobogatov/mjs
Embedded JavaScript engine for C/C++
Language:C00