LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

gecode

Generic Constraint Development Environment

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

62mo ago

Recent commits

Latest commits.

Update LICENSE
027c578Christian Schulte87mo ago
Update LICENSE
d521978Christian Schulte87mo ago
Updated release description
2925392Christian Schulte87mo ago
Merge pull request #47 from Dekker1/feature/half_reification
e5b05f8Guido Tack88mo ago
Add half reified predicate definitions to the Gecode MiniZinc library
bf53890Jip J. Dekker88mo ago

Branching order changed which changed solution found first

198e8a1Christian Schulte88mo ago

More indeterminism fixes

818150eChristian Schulte88mo ago

Do not use memory addresses for determining in which order duplicate variables are removed

bda0f1bChristian Schulte88mo ago

Top contributors

Builders behind this project.