Package org.sosy_lab.java_smt.example

Class Binoxxo.BooleanBasedBinoxxoSolver

java.lang.Object

org.sosy_lab.java_smt.example.Binoxxo.BinoxxoSolver<BooleanFormula[][]>

org.sosy_lab.java_smt.example.Binoxxo.BooleanBasedBinoxxoSolver

Enclosing class:

Binoxxo

public static class Binoxxo.BooleanBasedBinoxxoSolver
extends Binoxxo.BinoxxoSolver<BooleanFormula[][]>

This solver encodes nore steps into boolean logic, which makes it about 10x faster than the Binoxxo.IntegerBasedBinoxxoSolver.

Constructor Summary

Constructors

Constructor	Description
BooleanBasedBinoxxoSolver(SolverContext context)

Method Summary

Methods inherited from class org.sosy_lab.java_smt.example.Binoxxo.BinoxxoSolver

solve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BooleanBasedBinoxxoSolver

public BooleanBasedBinoxxoSolver(SolverContext context)