Skip to content

GitLab

Last edited by Mateusz Ślażyński
Page history
This is an old version of this page. You can view the most recent version or browse the history.

Home

Theory

Formalization underlying the language is available on the following page

Specification

Specification of the language can be found on the separate page

Changelog

  1. 12.10.2018 Representing CP problem structure
  2. 18.10.2018 Representing neighbor operators