Skip to content

GitLab

Last edited by Mateusz Ślażyński
Page 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