Skip to content

jmjrawlings/MiniZinc.Net

Repository files navigation

MiniZinc.Net

Create, parse and solve MiniZinc constraint models using C# and .NET

** This is work in progress **

Developer Guide

To develop and test the codebase you need will need to have access to an environment where both the .NET8 SDK and MiniZinc toolchain installed. You can install these dependencies manually or use a preconfigured docker container.

Option 1 - Manual Setup

  • Install the .NET 8 SDK
  • Install MiniZinc toolchain
  • git clone https://github.com/jmjrawlings/MiniZinc.Net.git
  • cd MiniZinc.Net
  • dotnet tool restore
  • dotnet test

Option 2 - Devcontainer

  • Install Docker
  • Install VSCode
  • git clone https://github.com/jmjrawlings/MiniZinc.Net.git
  • code MiniZinc.Net
  • "Reopen in container" when prompted
  • dotnet test from within the container

Design

TODO

Examples

TODO

References