Giters
Guy Katz (guykatzz)

guykatzz

Geek Repo

14

followers

0

following

0

stars

Home Page:www.cs.huji.ac.il/~guykatz/

Github PK Tool:Github PK Tool

Guy Katz's repositories

ReluplexCav2017

Language:CLicense:NOASSERTIONStargazers:101Issues:11Issues:6

Marabou

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

CVC4

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

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

CVC4_idl_lab

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