org.sat4j.sat
Interface ILog


public interface ILog


Method Summary
 void log(String message)
           
 

Method Detail

log

void log(String message)


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