Topic: constraint-solver Goto Github
Some thing interesting about constraint-solver
Some thing interesting about constraint-solver
constraint-solver,Library for back tracking with customizable search for moves
Organization: advancedresearch
constraint-solver,This is a college Time Table scheduler project build in spring boot using Optaplanner Constraint solver.
User: amit-maurya-507464
constraint-solver,AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Organization: apache
Home Page: https://www.optaplanner.org
constraint-solver,OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Organization: apache
Home Page: https://www.optaplanner.org/
constraint-solver,A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
User: bsurprised
constraint-solver,An open-source Java library for Constraint Programming
Organization: chocoteam
Home Page: http://choco-solver.org/
constraint-solver,
Organization: collins-research
constraint-solver,A Rust implementation of the Cassowary constraint solving algorithm
User: dylanede
constraint-solver,Fast constraint satisfaction problem solver.
User: eamsen
constraint-solver,Java Constraint Solvers for Vehicle Routing Problem (VRP)
User: emarkou
constraint-solver,Simplex solver for linear programming
User: flyingoe
constraint-solver,Generic Constraint Development Environment
Organization: gecode
Home Page: https://www.gecode.org
constraint-solver,An archive for decomissioned Z3 docs and IPython Notebooks referenced in my blog post concering Practical Binary Analysis.
User: hexterisk
Home Page: https://hexterisk.github.io/blog/posts/2020/05/15/constraint-solvers-and-z3/
constraint-solver,The Hoa\Praspel library.
Organization: hoaproject
Home Page: https://hoa-project.net
constraint-solver,A regular expression to SMT-LIB constraint translator
Organization: hycos
constraint-solver,A reference library for constraint-solving with propagators and CDCL.
User: i-am-tom
Home Page: https://hackage.haskell.org/package/holmes
constraint-solver,Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
User: ijzerenhein
constraint-solver,Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
User: ijzerenhein
constraint-solver,An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
User: inamiy
constraint-solver,Yuck is a local-search constraint solver with FlatZinc interface
User: informarte
constraint-solver,An insolated version of the constraint solver from SolveSpace: libslvs
User: jacobstoren
constraint-solver,Memory consistency modelling using Alloy
User: johnwickerson
Home Page: http://johnwickerson.github.io/memalloy
constraint-solver,A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Organization: juliaconstraints
constraint-solver,ANTLR SMT-LIB v2 Grammar
User: julianthome
constraint-solver,An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
User: keshavvishwkarma
constraint-solver,An Open Source .Net Constraint Programming Solver
User: lifebeyondfife
constraint-solver,A C#implementation of the Cassowary constraint solving algorithm
User: lillo42
constraint-solver,Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Organization: lume
Home Page: https://codepen.io/trusktr/pen/abMLVxa
constraint-solver,Constraint solver based on coverage-guided fuzzing
Organization: mc-imperial
constraint-solver,Noq is an online logic puzzle solver using Python and clasp!
User: mstang107
Home Page: https://noq.solutions
constraint-solver,Geometric constraint solver
User: mstruzek
constraint-solver,High performance swift implement of constraint solving algorithm cassowary
User: nangege
constraint-solver,Implementation of Constraint Solvers in Java
User: niibruce
constraint-solver,Unity3d CAD system with C# Geometric Constraint Solver
Organization: notecad
Home Page: http://notecad.xyz
constraint-solver,a GRId LOgic Puzzle Solver library
User: obijywk
constraint-solver,A webassembly wrapper for FreeCAD's 2D geometric solver.
Organization: salusoft89
Home Page: https://www.npmjs.com/package/@salusoft89/planegcs
constraint-solver,Solving quadratic assignment problem using iterated local search, improved hybrid genetic algorithm, tabu search, and constraint solving.
User: sidneyrachel
constraint-solver,Competition of Solvers for Separation Logic
Organization: sl-comp
constraint-solver,A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
User: sukrutrao
constraint-solver,A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
User: svenkonings
constraint-solver,For constraint satisfaction problems in Python
User: thautwarm
constraint-solver,The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems
Organization: timefoldai
Home Page: https://timefold.ai
constraint-solver,Constraint Logic Programming for Haskell
User: totbwf
constraint-solver,A Swift port of the Cassowary linear constraint solver
Organization: tribalworldwidelondon
constraint-solver,:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
User: tw1ddle
Home Page: https://samcodes.co.uk/code/
constraint-solver,:bird: Demo of a Haxe port of the Kiwi linear constraint solver
User: tw1ddle
Home Page: https://samcodes.co.uk/code/
constraint-solver,ConstraintSolver in Julia: Blog posts ->
User: wikunia
Home Page: https://opensourc.es/blog/constraint-solver-1
constraint-solver,Constraint Solver ACE
User: xcsp3team
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.