An archive repository containing the MiniZinc instances used for the MiniZinc Challenge

Comprehensive University Timetabling System

A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-6x faster dev workflows than other JVM build tools

Example of combining Alex (lexical parser) and Happy (syntax parser)

🦩 A flatzinc frontend for clingcon

hotspot disassembler hsdis

A general purpose machine code manipulation library for x86-32 (IA-32) and x86-64 (AMD64) architectures (Assembler, Disassembler, Library).

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

🧠 Laws, Theories, Principles and Patterns for developers and technologists.

Constraint programming in Haskell through MiniZinc

An open-source Java library for Constraint Programming

Java Constraint Programming solver

An applet for Cinnamon which shows CPU, Memory and Swap usage, Disk and Network rates with graphs

A CSP solving API

A release plugin for sbt

I know this because build.sbt knows this.

Mockito for Scala language

Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.

Hyper-Dimensional R-Tree Index in Java

Famous Math Problems in MiniZinc, LocalSolver, OPL, AMPL, Mosel, LINGO

Local-search based solver of Constraint Satisfaction and Optimization Problems

A lightweight, clean and simple JSON implementation in Scala

Scala 2 bug reports only. Please, no questions — proper bug reports only.

Open Source Routing Machine - C++ backend

Postmodern immutable and persistent data structures for C++ — value semantics at scale

JMiniZinc

Uniform test interface to Scala test frameworks (specs, ScalaCheck, ScalaTest)