Giters
NataliaJaimes

NataliaJaimes

Geek Repo

0

followers

0

following

4

stars

Github PK Tool:Github PK Tool

NataliaJaimes's starred repositories

SAT_EQUATION

UNIVERSAL NUMBER THEORY EQUATION OF SAT

Language:PythonStargazers:6Issues:0Issues:0

blue

A Powerful SAT Solver for Java

Language:JavaLicense:MITStargazers:6Issues:0Issues:0

slime-sat-solver

A Free World Class High Performance SAT Solver

Language:JavaScriptLicense:NOASSERTIONStargazers:20Issues:0Issues:0

PEQNP

PEQNP Mathematical Solver

Language:C++License:NOASSERTIONStargazers:13Issues:0Issues:0