PhD candidate at University of Konstanz, Developer of e-David, hobby machinist.
-
Universität Konstanz
- Germany
- e-David.org
Popular repositories Loading
-
-
-
-
Lisp-Logic-Solver
Lisp-Logic-Solver PublicLisp program which finds solutions for arbitrary logical statements.
Common Lisp
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.