Dark-Alex-17/cp_sat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
35 Commits 1 Branch 0 Tags
master
Commit Graph
35 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
hamilcarBarca17 617dfb2bd3 Fixed a typo in the README
Rust / build (push) Has been cancelled
Details
2023-03-16 11:35:55 -06:00
hamilcarBarca17 ed669e8034 Reverted dynamic library type 2023-03-15 13:55:51 -06:00
hamilcarBarca17 fd2da99277 Reverted mistaken missed functionality 2023-03-15 13:40:20 -06:00
hamilcarBarca17 db437cf179 Removed functionality that no longer exists in the OR-Tools library 2023-03-15 13:35:09 -06:00
hamilcarBarca17 311b6d38a5 Added static location for or-tools 2023-03-15 13:27:04 -06:00
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
hamilcarBarca17 20bc0eeefc Updated to use the most recent version of OR-tools (v9.5), and added add_mult_eq functionality 2023-03-09 12:43:12 -07:00
hamilcarBarca17 9d38c4acb9 Added a helper function to remove a variable from the model 2023-03-08 16:40:46 -07:00
Guillaume Pinot 7ecf0c3fc2 Bind ValidateCpModel and SolutionIsFeasible from cp_model_checker.h 
Fixes #22
 2021-09-29 18:22:37 +02:00
Guillaume Pinot 609149dc12 track_caller on solution_value 2021-09-16 11:31:44 +02:00
Guillaume Pinot 442e542347 Convert an iterator of Into<LinearExpr> to a LinearExpr 2021-09-16 11:31:44 +02:00
Guillaume Pinot 1c60e72683 Add fmt to CI 2021-09-14 11:30:24 +02:00
Guillaume Pinot 75dc0af2d6 fix clippy 2021-09-14 10:43:46 +02:00
Frédérick Sauvage 942034c4bb add hints from solution (+ clippy fixes) (#23) 2021-09-14 10:28:56 +02:00
Guillaume Pinot d8db7d7eb3 Add CI 
Fixes #8
 2021-09-14 10:24:00 +02:00
Guillaume Pinot 06bf9cf156 Documentation corrections 2021-09-14 09:40:19 +02:00
Guillaume Pinot e127181114 Add badges in README.md 2021-09-13 18:00:08 +02:00
Guillaume Pinot f4636cb606 Remove simple_sat_program example as it is in the lib.rs doc 2021-09-13 18:00:08 +02:00
Guillaume Pinot 3a6a4cec70 LinearExpr documentation 2021-09-13 18:00:08 +02:00
Guillaume Pinot de18b07571 Simplify LinearExpr 2021-09-13 18:00:08 +02:00
Guillaume Pinot 7d33f1668a constraint name 2021-09-13 18:00:08 +02:00
Guillaume Pinot 5db1b7d4df Refactor for clean root module and documentation 2021-09-13 18:00:08 +02:00
Guillaume Pinot eb3c60678c Fix solve_with_parameters 2021-09-13 11:34:47 +02:00
Guillaume Pinot 44d16c2465 linear expression refacto + tests 2021-09-10 22:18:24 +02:00
Guillaume Pinot fbc58ad58d Change docs.rs workaround 2021-09-10 22:18:24 +02:00
Guillaume Pinot dc36339433 v0.1.3 2021-09-10 22:18:24 +02:00
Guillaume Pinot 9c8f193ef1 Don't depend on or-tools for docs.rs 2021-09-10 22:18:24 +02:00
Guillaume Pinot 2c114536c6 solution hints in builder 2021-09-10 19:51:43 +02:00
Guillaume Pinot bcf658c815 v0.1.2 2021-09-10 12:17:04 +02:00
Guillaume Pinot 8c5a66a03f Min and max in builder 2021-09-10 12:16:38 +02:00
Guillaume Pinot 04196f41d3 Linear constraint support in the builder 2021-09-09 17:57:36 +02:00
Guillaume Pinot 3df4ce5d4c v0.1.1 2021-09-09 10:48:07 +02:00
Guillaume Pinot 86cca97c1e Builder first iteration: bool constraints 2021-09-09 10:46:25 +02:00
Guillaume Pinot adcc1d638b v0.1.0 2021-09-07 20:13:59 +02:00
Guillaume P a799d481c6 Initial commit 2021-09-07 19:45:23 +02:00