Packages

  • package root
    Definition Classes
    root
  • package jp
    Definition Classes
    root
  • package kobe_u
    Definition Classes
    jp
  • package copris

    Provides classes for Constraint Programming in Scala.

    Provides classes for Constraint Programming in Scala.

    OVERVIEW

    The following is a sample program in Copris DSL (Domain Specific Language).

    object FirstStep {
      import jp.kobe_u.copris._
      import jp.kobe_u.copris.dsl._
    
      def main(args: Array[String]) = {
        val x = int('x, 0, 7)
        val y = int('y, 0, 7)
        add(x + y === 7)
        add(x * 2 + y * 4 === 20)
        if (find) {
          println(solution)
        }
      }
    }
    Definition Classes
    kobe_u
  • package jsr331
    Definition Classes
    copris
  • package loader
    Definition Classes
    copris
  • SugarLoader
  • XCSPLoader
  • package pb
    Definition Classes
    copris
  • package smt
    Definition Classes
    copris
  • package sugar
    Definition Classes
    copris

package loader

Type Members

  1. class SugarLoader extends AnyRef
  2. class XCSPLoader extends AnyRef

Ungrouped