Dark-Alex-17/cp_sat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

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