Skip to content
@ConSol-Lab

ConSoL Lab

The Constraint Solving Lab at TU Delft

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

Repositories

Showing 9 of 9 repositories

Top languages

Loading…

Most used topics

Loading…