Generate Settlers of Catan maps with constraint programming
-
Updated
Dec 4, 2019 - Python
#
minizinc
Here are 120 public repositories matching this topic...
Solving the most complex lock patterns with Julia Language, MiniZinc, and Google OR-Tools.
julia-language
constraint-programming
computational-science
google-or-tools
minizinc
combinatorial-optimization
-
Updated
Dec 19, 2021 - Julia
Problem #345 - Matrix Sum
-
Updated
Jul 25, 2024
Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming
ai
constraint-satisfaction-problem
np-hard
constraint-programming
logic-programming
sat-solver
minizinc
answer-set-programming
automated-reasoning
-
Updated
Sep 26, 2022 - Python
-
Updated
Jul 9, 2021
Project from my Automated Reasoning course in CS master degree
-
Updated
Feb 7, 2019 - TeX
second cycle first semester
-
Updated
Jul 22, 2018 - Prolog
-
Updated
Oct 13, 2019 - Python
Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.
-
Updated
Nov 11, 2021 - Jupyter Notebook
Set of problems solved using a constraint solver
-
Updated
Aug 18, 2022
Bacis Demand Side Response optimization algorithm with MiniZinc
-
Updated
Apr 19, 2019 - Makefile
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
-
Updated
Apr 1, 2024 - Python
-
Updated
May 17, 2018
Exercises about logic programming (Prolog) and constraint programming (MiniZinc)
-
Updated
Feb 10, 2021 - Prolog
Improve this page
Add a description, image, and links to the minizinc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minizinc topic, visit your repo's landing page and select "manage topics."