3 ms·

I wish, SMT-solvers, in particular, were easier to approach. I have a number of problems that are solved once-per-month, that I wouldn’t mind throwing a couple

I wish, SMT-solvers, in particular, were easier to approach. I have a number of problems that are solved once-per-month, that I wouldn’t mind throwing a couple of weeks of compute at to get absolute tip-top results. Posing SMT-problems though … that’s an art. There’s not enough resources for “problems at scale” for me to just dip my tie into…

mzl 5y ago
Strong recommendation to take a look at MiniZinc. It’s a modeling language for combinatorial optimization problems, and is often quite easy to model problems in it. The cool thing is that one can then solve the problem using many different solver technologies.
- tra3 5y ago
  Is there an intro you can recommend? I’ve never heard of CP, would love to read about it.
  - mzl 5y ago
    There are a couple of very good coursera courses on modeling with MiniZinc, the first one being https://www.coursera.org/learn/basic-modeling https://www.coursera.org/learn/basic-modeling
    - tra3 5y ago
      Signed up. Much appreciated.