Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Work-in-progress: C++ implementation of a general simplex procedure accelerated using OpenCL or CUDA.
JCLTune (under development)
The general simplex procedure solves quantifier-free linear real arithmetic (QF_LRA) formulas.
Forked from vmontagh/margaux
A Pattern-based declarative model debugger