3 commits

Author	SHA1	Message	Date
Dennis Kuhnert	5ef1ae51b7	Add first tests of parser and equality of structs	2017-02-08 22:06:38 +01:00
Dennis Kuhnert	9d6991784b	Add libsnark "is_satisfied" binding with [0, 0, .., 0] solution vector test.	2017-01-29 16:59:13 +01:00
Dennis Kuhnert	cabe205949	Initial commit	2017-01-27 19:08:59 +01:00