-
Notifications
You must be signed in to change notification settings - Fork 0
/
NAMESPACE
20 lines (19 loc) · 699 Bytes
/
NAMESPACE
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# 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)