3 Commits

Author	SHA1	Message	Date
hamilcarBarca17	1fe1ba87a8	Cleaned up some of the docs and added the new functions int_var_domain, set_int_var_domain, add_leq, and require now that all variables be given names	2023-03-10 13:43:38 -07:00
Guillaume Pinot	5db1b7d4df	Refactor for clean root module and documentation	2021-09-13 18:00:08 +02:00
Guillaume Pinot	04196f41d3	Linear constraint support in the builder	2021-09-09 17:57:36 +02:00