tias Goto Github PK

android-busybox-ndk

Keeping track of instructions and patches for building busybox with the android NDK

capita_cpmeetsml

Assignment for the 4th module of the capita AI course @ KU Leuven

cimcp

correlated and discriminative itemset mining, using constraint programming https://dtai.cs.kuleuven.be/CP4IM/cimcp.php

cmtutils

Software for managing conference submissions.

coderdojo-web-bootstrap-jquery

leren web programmeren met bootstrap en jquery

covid-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

cp-examples

fimcp

frequent and constraint-based itemset mining using Constraint Programming https://dtai.cs.kuleuven.be/CP4IM/

frab

conference manangement system

hakank

My public programs and models - mostly combinatorial problems and puzzles

ipasir

The Standard Interface for Incremental Satisfiability Solving

kinderuniversiteit

libminizinc

lildebi

an simple installer app for Debian on top of Android (click below to download an apk, the bottom is the newest)

mzn-challenge

An archive repository containing the MiniZinc instances used for the MiniZinc Challenge

nn_learn_solve

Notebooks for a practical session on training a digit classifier and using it to solve visual sudoku's

or-tools

Google's Operations Research tools:

penta_booklet

Turns pentabarf XML into a (pdf) booklet with full-page tables containing the schedule.

program_chair_scripts

Scripts to aid program chairs in semi-automatically tracking and verifying that PDFs, conflicts, bids, paper assignments and reviews follow the conference guidelines.

pyconstruct

(fork of) Python library for declarative, constrained, structured-output prediction.

pycsp3

A Python Library for modeling combinatorial constrained problems

pysmt

pySMT: A library for SMT formulae manipulation and solving

simple-top-viewer

A simple package for viewing the 'top' output of multiple machines on a single wegpage.

sumy_vrp

website

FOSDEM website

xinput_calibrator

A generic touchscreen calibration program for X.Org

z3

The Z3 Theorem Prover