Package checkboard.model

Examples of checkboard.model.NormalModel

6
7
8
9
10
11
12
public class Z3ExecutorTest {

  @Test
  public void testExecute() {
    new Z3Executor().execute(new NormalModel(4, 4), null);
  }
View Full Code Here
TOP

Related Classes of checkboard.model.NormalModel

  • common.exec.z3.Z3ExecutorTest
  • common.model.Assert
  • common.model.Check
  • common.model.Declare
    • Copyright © 2018 www.massapicom. 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.