Popular repositories Loading

1. Pumpkin Pumpkin Public

   A Lazy Clause Generation Constraint Programming solver written in Rust.

   Rust 67 23

2. gourd gourd Public

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

   Rust 6 1

3. contree contree Public

   ConTree: Optimal Decision Trees for Continuous Feature Data

   C++ 5 4

4. Munchkin Munchkin Public

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

   Rust 4 8

5. pysortd pysortd Public

   Forked from AlgTUDelft/pystreed

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

   C++ 4

6. CS4535 CS4535 Public

   Skeleton for CS4535.

   Rust 1 1