Skip to content
#

solver

Here are 616 public repositories matching this topic...

bourreauEric
bourreauEric commented Nov 16, 2017

Expected behavior

limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution)

Actual behavior

search.limit Monitor are attach to search and not strategy.

Minimal Working Example

Experienced with choco-solver-4.0.4

solv.setSearch(
new AbstractStrategy[] {
Search.intVarSearch(new MaxRegret(), new IntDoma

stumarcus576
stumarcus576 commented Sep 14, 2018

I am trying to solve two problems, one after the other, by varying a single parameter p. But, according to Convex.jl, the solution to the second problem is the same as the first, which I know should not be the case, so Convex.jl is not detecting the parameter change when it solves the problem the second time. That is, in the two problems below, Convex.jl reports the solution to be 4; but for the s

jcoupey
jcoupey commented Apr 30, 2020

The current readme is, hum, quite sparse on information. Considering this is the entry point for the project on GitHub, it should be improved to contain more high-level information and pointers to other resources. What should be added:

  • supported problem types
  • more detail on features
  • supported routing engines
  • the kind of tests we have in place (CI builds, runs on various benchmarks)
mather

zzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

  • Updated Jun 5, 2020
  • JavaScript

Improve this page

Add a description, image, and links to the solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the solver topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.