# Generated by roxygen2: do not edit by hand

S3method(format,picosat_solution)
S3method(picosat_added_original_clauses,picosat_solution)
S3method(picosat_decisions,picosat_solution)
S3method(picosat_propagations,picosat_solution)
S3method(picosat_seconds,picosat_solution)
S3method(picosat_solution_status,picosat_solution)
S3method(picosat_variables,picosat_solution)
S3method(picosat_visits,picosat_solution)
S3method(print,picosat_solution)
export(picosat_added_original_clauses)
export(picosat_decisions)
export(picosat_propagations)
export(picosat_sat)
export(picosat_seconds)
export(picosat_solution_status)
export(picosat_variables)
export(picosat_visits)
useDynLib(rpicosat,rpicosat_solve)
