Skip to content
#

minizinc-lang

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 MiniZinc 4 R 1 Rust 1

seanpm2001 / SNU_2D_ProgrammingTools_IDE_MiniZinc

Sponsor
Star 2

⌨️ The MiniZinc data programming language IDE submodule for SNU Programming Tools (2D Mode)

web-development programming web-ide gplv3 ide minizinc snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snuprogramming-tools snu2dprogrammingtools snu2dprogramming-tools minizinc-lang minizinc-language
  • Updated Apr 2, 2025
  • MiniZinc

seanpm2001 / AI2001_Category-Source_Code-SC-MiniZinc

Sponsor
Star 1

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:MiniZinc category for AI2001, containing MiniZinc programming language datasets

ai gplv3 artificial-intelligence dataset gpl3 ai2001 ai2001-dataset ai2001-development ai2001-source-code-dataset sc-dataset ai2001-project ai2001-sc-dataset ai2001-source-code minizinc-lang minizinc-language minizinc-language-dataset
  • Updated Jul 4, 2025
  • R

Improve this page

Add a description, image, and links to the minizinc-lang topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the minizinc-lang topic, visit your repo's landing page and select "manage topics."

Learn more