michael-123123

Pinned Repositories

cvxpy
A Python-embedded modeling language for convex optimization problems.
Language:C++5.5k 126 1.5k1.1k
cvxpy
A Python-embedded modeling language for convex optimization problems.
Language:C++00
plcliquer
An SWI-Prolog interface to cliquer
Language:C00
plnauty
An SWI-Prolog interface to the nauty graph automorphism library
Language:C00
pytest
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
Language:Python12.2k 193 5.9k2.7k

michael-123123's Repositories

michael-123123/cvxpy
A Python-embedded modeling language for convex optimization problems.
Language:C++00
michael-123123/plcliquer
An SWI-Prolog interface to cliquer
Language:C00
michael-123123/plnauty
An SWI-Prolog interface to the nauty graph automorphism library
Language:C00