4 Constraint Satisfaction Problem Solver libraries and projects
7.7 9.4 L3 JavaA scalable Constraint Solver by Red Hat
4.9 8.9 L3 JavaOff-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.
3.7 5.2 L1 JavaIncludes an interface for the FlatZinc language, enabling it to execute MiniZinc models.
- -State-of-the-art SAT solver for boolean and optimization problems.
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.
Work from home. Anywhere in the world.
+ Post a job
Software Engineer - Search/Data (Remote, US Timezones Only, Fulltime/Benefits)
Dev, Python, Postgresql
Software Engineer - Full Stack
6 River Systems
Software Engineer - Spacecraft Flight Dynamics System (FDS)
Advanced Space, LLC
Dev, Space, Kubernetes
DevOps engineer for Esports
DevOps, Amazon-web-services, Kubernetes
Senior Software Engineer - Web Monetization Ecosystem for Content Creators
Principal Software Engineer (Remote)
Senior Backend Engineer (m/w/x) - remote possible
Dev, Python, Django
Software Engineer III - Business Systems
CNC Software, Inc
Dev, C#, Asp.net-mvc
Web Developer for BLOX
Backend Software Engineer (Node.js) - REMOTE
Dev, Node.js, Amazon-web-services