SAT4J pseudo 2.3.4 Test API

User level: stable public API 
Package Description
org.sat4j.pb  
Developer level: internal API, subject to change 
Package Description
org.sat4j.pb.constraints  

Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.