13 Commits

Author	SHA1	Message	Date
Jordi Baylina	26cad30222	faster write r1cs	2020-07-23 15:55:27 +02:00
Jordi Baylina	767ca60008	Use native big int	2020-04-18 20:53:13 +02:00
Jordi Baylina	80cce0ccbb	deps	2020-03-28 21:26:43 +01:00
Jordi Baylina	da969a5e16	Construction phase redone	2019-12-23 19:34:52 +01:00
Jordi Baylina	e62c1cdbc3	Fixes and tests passed	2019-12-16 21:37:14 +01:00
Jordi Baylina	66291a0efe	C generation	2019-11-23 19:12:58 +01:00
Jordi Baylina	99a7489fa2	Some fixes and new version	2018-10-21 19:44:19 +02:00
Jordi Baylina	ac9f051067	Optimization added for removing linear combination only constraints with an internal variable	2018-10-14 10:43:03 +02:00
bellesmarta	dc7bc00ba6	Canvies en el README i a la descripció del Copyright i tal	2018-09-10 18:52:40 +02:00
Jordi Baylina	14e6c291fd	Fix simplification on one	2018-09-06 04:45:10 +02:00
Jordi Baylina	89b711050d	Dependencies updated and publish	2018-09-05 05:25:32 +02:00
Jordi Baylina	ff2ecd310e	First test added	2018-09-05 03:48:58 +02:00
Jordi Baylina	281b52339c	First commit	2018-08-09 08:21:17 +02:00