Sputnim A Sat Solver In Nim

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/nim

Our great sponsors
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • OPS - Build and Run Open Source Unikernels
  • Scout APM - Less time debugging, more time building
  • JaCoP

    Java Constraint Programming solver

    I used MiniZinc to model a scheduling problem for a customer which used constraints to block off already scheduled time, holiday time, non-work hours, etc. and it also had soft constraints for ensuring that blocks of time would be prioritized first to ensure that preferred representatives would get to a work with a given customer first based on previous relationship and skills. Once we translated the modelled constraints from MiniZinc to JaCoP in Java, the solution was able to generate hundreds of solutions per second. And note that it was able to do this minute level resolution such that no blocks of time were wasted because of scheduler limitations.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts