Package

jp.kobe_u.copris

sugar

Permalink

package sugar

Visibility
  1. Public
  2. All

Type Members

  1. class Encoder extends AnyRef

    Permalink

    Class for encoding CSP to SAT

  2. class MiniSat extends SatSolver2

    Permalink

    Class for MiniSat solvers

  3. class Sat4j extends SatSolver

    Permalink

    Class for Sat4j solver

  4. abstract class SatSolver extends AnyRef

    Permalink

    Abstract class for SAT solvers

  5. class SatSolver1 extends SatSolver

    Permalink

    Class for SAT solvers with one argument

  6. class SatSolver2 extends SatSolver

    Permalink

    Class for SAT solvers with two arguments

  7. abstract class SatSolverLogger extends FileProcessLogger

    Permalink

    Class for analyzing SAT solver log output

  8. class Solver extends AbstractSolver

    Permalink

    Class for Sugar solver

  9. class Sugar extends CoprisTrait

    Permalink

    Class for Sugar DSL

  10. class Translator extends AnyRef

    Permalink

    Class for translating CSP to a list of Sugar expressions

Value Members

  1. object Glucose extends MiniSat

    Permalink

    Object for Gluecose solver ("glucose")

  2. object GlueMiniSat extends MiniSat

    Permalink

    Object for GlueMiniSat solver ("glueminisat")

  3. object MiniSat extends MiniSat

    Permalink

    Object for MiniSat solver ("minisat")

  4. object MiniSat2 extends MiniSat

    Permalink

    Object for MiniSat 2 solver ("minisat2")

  5. object MiniSat22 extends MiniSat

    Permalink

    Object for MiniSat 2.2 solver ("minisat22")

  6. object PicoSat extends SatSolver1

    Permalink

    Object for PicoSat solver ("picosat")

  7. object PrecoSat extends SatSolver1

    Permalink

    Object for PrecoSat solver ("precosat")

  8. object Sat4j extends Sat4j

    Permalink

    Object for Sat4j solver

  9. object dsl extends CoprisTrait

    Permalink

    Object for Sugar DSL

Ungrouped