Package common.exec.z3

Examples of common.exec.z3.Z3Executor


  protected Map<String, Object> solve() {
    if (runned)
      throw new IllegalStateException();
    runned = true;
    Map<String, Object> result = new HashMap<String, Object>();
    boolean solvable = new Z3Executor().execute(model, result);
    if (solvable)
      return result;
    return null;
  }
View Full Code Here


  @Test
  public void testGenerate() {
    SudokuModel model = new SudokuModel(2);

    Map<String, Object> assignment = new HashMap<String, Object>();
    boolean sat = new Z3Executor().execute(model, assignment);

    assertTrue(sat);
    for (Entry<String, Object> assign : assignment.entrySet()) {
      System.out.println(MessageFormat.format("{0}={1}", assign.getKey(),
          assign.getValue()));
View Full Code Here

TOP

Related Classes of common.exec.z3.Z3Executor

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.