Topic: minizinc Goto Github
Some thing interesting about minizinc
Some thing interesting about minizinc
minizinc,Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
User: alessandrostockman
minizinc,Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
User: arthod
minizinc,Express constraint programming problem with python and solve it with minizinc
User: artyomkaltovich
Home Page: https://zython.readthedocs.io/en/latest/
minizinc,Erlang/Elixir interface to MiniZinc.
User: bokner
minizinc,solverl+LiveView examples
User: bokner
minizinc,📈 [Castellano] Practicas de la assignatura de Computacion y sistemas inteligentes del master en ingenieria informatica de la FIB-UPC
User: carlotacb
minizinc,Jetisu is a toolset for modelling with sigma complete relations.
User: davidpratten
minizinc,A Homebrew Tap for MiniZinc solvers
User: dekker1
minizinc,Famous Math Problems in MiniZinc, LocalSolver, OPL, AMPL, Mosel, LINGO
User: dmitryezhov
minizinc,Constraint Programming project for a soap opera rehearsal problem
User: emyesme
minizinc,Given a simple VLSI (Very Large Scale Integration), use Constraint Programming, SAT and SMT solver, to provide the solution with the minimum height of the silicon chip
User: fedespu
minizinc,Combinatiorial Optimization applied to the rectangle packing problem, using Minizinc and Z3 solvers
User: fmerizzi
minizinc,Project from my Automated Reasoning course in CS master degree
User: gabventurato
minizinc,codes of my IUT course
User: ghazaleze
minizinc,Yuck is a local-search constraint solver with FlatZinc interface
User: informarte
minizinc,Minimal Docker images for MiniZinc
User: inz
Home Page: https://hub.docker.com/r/inzinger/minizinc/
minizinc,Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
Organization: isse-augsburg
minizinc,Shell scripts for installing MiniZinc and Google OR-Tools on Linux.
User: jaantollander
minizinc,Solving the most complex lock patterns with Julia Language, MiniZinc, and Google OR-Tools.
User: jaantollander
Home Page: https://jaantollander.github.io/LockPatternComplexity.jl/dev/
minizinc,Python devcontainer for constraint programming
User: jmjrawlings
minizinc,Solving NP-Hard Problems
User: joe-stifler
minizinc,Programas desarrollados en el curso de Programación con Restricciones de la Universidad del Valle
User: jorgemayor
minizinc,Prácticas de AP GII
User: juancarlosacostaperaba
minizinc,efficient Game of Life in Python
User: laserbat
minizinc,A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimizing for cyclic schedules.
User: luddewessen
minizinc,Use MiniZinc in the browser or with NodeJS
Organization: minizinc
Home Page: https://js.minizinc.dev
minizinc,MiniZinc playground using WebAssembly
Organization: minizinc
Home Page: https://play.minizinc.dev
minizinc,Access to all MiniZinc functionality directly from Python
Organization: minizinc
Home Page: https://minizinc-python.readthedocs.io/
minizinc,A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Organization: minizinc
Home Page: https://www.minizinc.org
minizinc,Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.
User: mwritescode
minizinc,Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
User: nicolodon
minizinc,A Python wrapper for the MiniZinc tool pipeline.
User: paolodragone
minizinc,Adding Machine Learning capabilities to MiniZinc
User: peakergzf
minizinc,CLI tool to sort players into even teams based on rank - DEPRECATED - check ringvold/teamsort for future udates
User: ringvold
minizinc,The strip packing problem is a 2-dimensional geometric minimization problem. Given a set of axis-aligned rectangles and a strip of bounded width and infinite height, determine an overlapping-free packing of the rectangles into the strip minimizing its height.
User: samthemar
minizinc,The final project of Programming Restrictions course of the Universidad del Valle Cali, CO.
User: sebastianaf
minizinc,Solving quadratic assignment problem using iterated local search, improved hybrid genetic algorithm, tabu search, and constraint solving.
User: sidneyrachel
minizinc,JMiniZinc
Organization: siemens
minizinc,User equilibrium traffic assignment and models for scheduling road upgrades
User: stivalaa
minizinc,Solution to the Constraint Satisfaction Problem "Vehicle Routing Problem".
User: tommasoazz
minizinc,Python library for declarative, constrained, structured-output prediction.
Organization: unitn-sml
minizinc,My codes of models in MiniZinc (constraint programming). Every folder has an own README-file with a detailed explanation.
User: vladimir-romanko
minizinc,Constraint Programming and SMT models for solving VLSI instances with MiniZinc and Z3
Organization: vlsi-combinatorial-problem
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.