problemsdemo.java

来自「Java版的SAT求解器」· Java 代码 · 共 39 行

package positronic.satisfiability.demos;

import java.util.List;

import positronic.satisfiability.elements.BooleanVariable;
import positronic.satisfiability.elements.Problems;
import positronic.satisfiability.solutions.PartialSolution;

public class ProblemsDemo
{
	public static void main(String[] args) throws Exception
  {
    Object[] ary={
    BooleanVariable.getBooleanVariable("a"),
    BooleanVariable.getBooleanVariable("b"),
    };
    Problems Problems1 = new Problems(ary);
    int sol=0;
    int unsol=0;
    for(int i=0;i<Problems1.problem.length;i++)
    {
      System.out.println(Problems1.problem[i]);
      List list=PartialSolution.solveList(Problems1.problem[i]);
      if(list==null)
      {
        unsol++;
        //System.out.println("No solution.");
      }
      else
      {
        sol++;
        //System.out.println("Solution exists.");
      }
    }
    System.out.println("Solution exists for "+sol+" problems.");
    System.out.println("No solution exists for "+unsol+" problems.");
  }
}