-
constraint-solving-course Public
An open-source course on constraint solving
-
PyCSP3 Public
Forked from xcsp3team/pycsp3A Python Library for modeling combinatorial constrained problems
-
xinput_calibrator Public
A generic touchscreen calibration program for X.Org
-
program_chair_scripts Public
Scripts to aid program chairs in semi-automatically tracking and verifying that PDFs, conflicts, bids, paper assignments and reviews follow the conference guidelines.
Jupyter Notebook MIT License UpdatedMar 24, 2024 -
android-busybox-ndk Public
Keeping track of instructions and patches for building busybox with the android NDK
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedMay 3, 2023 -
mzn-challenge Public
Forked from MiniZinc/mzn-challengeAn archive repository containing the MiniZinc instances used for the MiniZinc Challenge
UpdatedApr 14, 2023 -
pyconstruct Public
Forked from unitn-sml/pyconstruct(fork of) Python library for declarative, constrained, structured-output prediction.
Python MIT License UpdatedFeb 22, 2023 -
-
ipasir Public
Forked from biotomas/ipasirThe Standard Interface for Incremental Satisfiability Solving
C++ Other UpdatedJun 27, 2022 -
hakank Public
Forked from hakank/hakankMy public programs and models - mostly combinatorial problems and puzzles
JavaScript MIT License UpdatedJun 19, 2022 -
cmtutils Public
Forked from lawrennd/cmtutilsSoftware for managing conference submissions.
Python UpdatedApr 4, 2022 -
fimcp Public
frequent and constraint-based itemset mining using Constraint Programming https://dtai.cs.kuleuven.be/CP4IM/
-
cimcp Public
correlated and discriminative itemset mining, using constraint programming https://dtai.cs.kuleuven.be/CP4IM/cimcp.php
C++ UpdatedMar 17, 2022 -
or-tools Public
Forked from google/or-toolsGoogle's Operations Research tools:
C++ UpdatedSep 28, 2021 -
nn_learn_solve Public
Notebooks for a practical session on training a digit classifier and using it to solve visual sudoku's
-
-
cp-examples Public
Forked from Alexander-Schiendorfer/cp-examples -
COVID-19 Public
Forked from CSSEGISandData/COVID-19Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
UpdatedMar 14, 2020 -
capita_CPmeetsML Public
Assignment for the 4th module of the capita AI course @ KU Leuven
-
leren web programmeren met bootstrap en jquery
HTML MIT License UpdatedMar 19, 2016 -
penta_booklet Public
Turns pentabarf XML into a (pdf) booklet with full-page tables containing the schedule.
-
-
-
simple-top-viewer Public
A simple package for viewing the 'top' output of multiple machines on a single wegpage.
-
-
-
lildebi Public
Forked from guardianproject/lildebian simple installer app for Debian on top of Android (click below to download an apk, the bottom is the newest)
{{ message }}