Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pro
ndl
Repository
Branches
Overview
Active
Stale
All
knowledge-base-varlen
e4920ba8
·
Multivariable unification
·
Apr 08, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
knowledge-base-iterator-crosset
c4c8868a
·
Add ((1 x) (2 y) (x) (y 8)) test case
·
Apr 22, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
knowledge-base-setbased
eeae0583
·
Handle queries with all-constant functors
·
Jun 03, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
constraints-repl
14c30974
·
Add query print loop
·
Sep 11, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
repl
5b64aa63
·
Add query print loop
·
Sep 11, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
constraints
352f098e
·
Add Less, LessOrEqual parser
·
Sep 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ranges
6e2d4387
·
Add range parser logic
·
Sep 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
knowledge-base
8d7c3231
·
Add Gitlab CI pipeline configuration
·
Sep 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
develop
merged
4c419592
·
Adds type info to constants (constants may be of more than one type!).
·
Feb 08, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tsp/all_initialized
5a357b66
·
Makes evaluation time shorter to avoid wasting time.
·
Apr 14, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
3a9b4c3b
·
Fixes noodle bug occuring when running operator more than once per swipl session.
·
Apr 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
minizinc-extractor
d5200469
·
Fixes mzn2ndl to correctly handle the constraints semantics
·
Nov 06, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
optimization
b681fa13
·
Slight refactoring to avoid unnecessary brackets.
·
Jul 10, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar