Package common.exec.z3

Source Code of common.exec.z3.Z3ExecutorTest

1
2
3
4
5
6
7
8
9
10
11
12
13
14
package common.exec.z3;

import org.junit.Test;

import checkboard.model.NormalModel;

public class Z3ExecutorTest {

  @Test
  public void testExecute() {
    new Z3Executor().execute(new NormalModel(4, 4), null);
  }

}
TOP

Related Classes of common.exec.z3.Z3ExecutorTest

  • checkboard.model.NormalModel
  • common.exec.AssignResult
  • common.exec.SatResult
  • common.model.Type
  • java_cup.runtime.Symbol
  • sudoku.model.SudokuModelTest
  • sudoku.view.SudokuFrame
  • java.io.File
  • java.io.InputStreamReader
  • java.io.BufferedReader
    • TOP
    Copyright © 2018 www.massapi.com. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.