5 Commits

Author	SHA1	Message	Date
Chinmay Garde	20908034d5	Make constraint priority setup more expressive	2015-06-25 16:24:21 -07:00
Chinmay Garde	2f3e5aa70b	Add toString() overrides to internal solver members	2015-06-25 14:30:37 -07:00
Chinmay Garde	306c795c21	Minor: Add stubs for the symbol and solver	2015-06-23 09:50:52 -07:00
Chinmay Garde	2152de9a51	Minor: Add support for priority updates on constraints	2015-06-22 12:29:33 -07:00
Chinmay Garde	f6a323620e	Initial Commit	2015-06-22 10:49:09 -07:00