3 Commits

Author	SHA1	Message	Date
David Shah	ba1e05f16b	HeAP: Implement 'all+rotate' HeAP strategy ... Signed-off-by: David Shah <dave@ds0.me>	2019-03-22 10:31:54 +00:00
David Shah	d5cfd38179	HeAP: Successful solver convergance ... Signed-off-by: David Shah <dave@ds0.me>	2019-03-22 10:31:54 +00:00
David Shah	ea56dc9d08	HeAP: Add TAUCS wrapper and integration ... Signed-off-by: David Shah <dave@ds0.me>	2019-03-22 10:31:54 +00:00