Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Add support for constraint programming

See original GitHub issue

I’ve used the CP-SAT Solver to optimize job scheduling (thousands of jobs that run daily) that takes into account specific dependencies, resources, and time constraints. It was a massive pain to understand how to use the Google.OrTools.Sat namespace as their documentation is quite sparse.

It would be nice to have it supported with this library. In particular it was a nightmare converting this into something usable.

Issue Analytics

State:
Created 3 years ago
Comments:5 (1 by maintainers)

Top GitHub Comments

1reaction

matthewcrewscommented, Jul 14, 2020

@Shmew I’ve been reading up on this and it appears to be a different enough domain that I think I would rather create a different library for that domain. My goal with this library was to create something simple specifically for LP/MIP.

It’s sounds like an interesting problem though! I am going to need to do some more reading up and look at some real world problems to get my head around it.

I am also actively trying to learn more about Category and Type Theory in order to come up with better abstractions. There are some features coming in F# 5.0 which will make all of this easier.

This library was a great learning experience though and lays a foundation for doing this work. I have learned a ton from this experience and making something equivalent for CP-SAT Solver will likely be much faster.

0reactions

matthewcrewscommented, Jul 21, 2020

I will be addressing this request with the Coffy Library. I will be adding this discussion to that library.

COFFY: Constraint Optimization For Fsharp Yay