Skip to content

@ConSol-Lab ConSoL Lab

All

    Repositories list

    12 repositories

    • Pumpkin

      Public
      A Lazy Clause Generation Constraint Programming solver written in Rust.
      rustconstraint-programmingcp
      rustconstraint-programmingcplcglazy-clause-generationproof-logging
      Rust
      •
      Apache License 2.0
      •34•104•27•23•Updated Oct 15, 2026Oct 15, 2026

    • acp-summer-school-2026

      Public
      Materials used for the ACP Summer School 2026. This part was for the topic of "Lazy clause generation and beyond"
      0•0•0•0•Updated Aug 21, 2026Aug 21, 2026

    • opt-vs-greedy-dts

      Public
      Experiments for Comparing Optimal Decision Trees with Greedy Decision Trees
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 6, 2026Aug 6, 2026

    • fzn-drcp-check

      Public
      A certified checker for FlatZinc models and DRCP proofs
      Rocq Prover
      •
      MIT License
      •1•1•1•0•Updated Aug 4, 2026Aug 4, 2026

    • modern-constraint-programming-essai-2026

      Public
      Course at the European Summer School of Artificial Intelligence 2026. Serves as an introduction to constraint programming and as a gateway to modern solver tech…
      0•0•0•0•Updated Aug 1, 2026Aug 1, 2026

    • contree

      Public
      ConTree: Optimal Decision Trees for Continuous Feature Data
      C++
      •
      MIT License
      •4•8•0•0•Updated Jun 19, 2026Jun 19, 2026

    • CS4535

      Public
      Skeleton for CS4535.
      Rust
      •
      Apache License 2.0
      •3•1•0•0•Updated Apr 2, 2026Apr 2, 2026

    • pysortd

      Public
      Python Implementation of SORTD: Sorted Rashomon Sets of Trees using Dynamic Programming
      C++
      •
      MIT License
      •6•5•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•7•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
      •46•0•0•0•Updated May 27, 2025May 27, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.