Repositories list

• CS4535

  Public
  Skeleton for CS4535.

  Rust

  •

  Apache License 2.0

  •2•1•0•0•Updated Feb 20, 2026Feb 20, 2026

• Pumpkin

  Public
  A Lazy Clause Generation Constraint Programming solver written in Rust.

  rustconstraint-programmingcp+ 3lcglazy-clause-generationproof-logging

  Rust

  •

  Apache License 2.0

  •23•67•15•2•Updated Feb 12, 2026Feb 12, 2026

• contree

  Public
  ConTree: Optimal Decision Trees for Continuous Feature Data

  C++

  •

  MIT License

  •4•5•0•0•Updated Feb 5, 2026Feb 5, 2026

• pysortd

  Public
  Python Implementation of SORTD: Sorted Rashomon Sets of Trees using Dynamic Programming

  C++

  •

  MIT License

  •3•4•0•0•Updated Oct 21, 2025Oct 21, 2025

• minizinc-diff

  Public
  A utility for testing whether two MiniZinc runs yield the same feasible space

  Rust

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 21, 2025Jul 21, 2025

• moo

  Public
  Monday's Outstanding Orations website

  HTML

  •

  MIT License

  •0•0•0•0•Updated Jun 22, 2025Jun 22, 2025

• gourd

  Public
  a command-line tool for configuring, running, and analysing algorithm comparison experiments on supercomputers

  Rust

  •1•6•14•2•Updated Jun 9, 2025Jun 9, 2025

• cpmpy

  Public
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

  Python

  •

  Apache License 2.0

  •35•0•0•0•Updated May 27, 2025May 27, 2025

• Munchkin

  Public
  A minimal lazy clause generation constraint solver written in Rust used for teaching

  Rust

  •8•4•11•1•Updated Apr 8, 2025Apr 8, 2025