Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
Active branches
master
default
c29d8853
·
Update external definitions for KMCC
·
Jul 25, 2024
Stale branches
newConstraints
bbdf3b20
·
Merge remote-tracking branch 'origin' into newConstraints
·
Jul 21, 2014
bho/kics2
fc7c02b2
·
Remove some parallel strategies
·
Aug 11, 2014
constraints
dad4d07d
·
Adapted Makefile for global installation of CLPFD2 library
·
Mar 27, 2015
TypedFlatCurry
74292d58
·
Add Target Option for type-annotated FC (former Typed FC)
·
Jul 03, 2018
!1
release/1.x
3dcb0c91
·
Specification of sort operations improved
·
Oct 09, 2018