Popular repositories Loading

1. Pumpkin Pumpkin Public

   A Lazy Clause Generation Constraint Programming solver written in Rust.

   Rust 84 33

2. contree contree Public

   ConTree: Optimal Decision Trees for Continuous Feature Data

   C++ 8 4

3. gourd gourd Public

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

   Rust 7 1

4. pysortd pysortd Public

   Forked from AlgTUDelft/pystreed

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

   C++ 5 2

5. CS4535 CS4535 Public

   Skeleton for CS4535.

   Rust 1 3

6. fzn-drcp-check fzn-drcp-check Public

   A certified checker for FlatZinc models and DRCP proofs

   Rocq Prover