List of all items
Structs
Functions
- ccadical_active
- ccadical_add
- ccadical_add_observed_var
- ccadical_assume
- ccadical_connect_external_propagator
- ccadical_connect_fixed_listener
- ccadical_connect_proof_tracer
- ccadical_constrain
- ccadical_constraint_failed
- ccadical_copy
- ccadical_copy_with_propagator
- ccadical_declare_more_variables
- ccadical_declare_one_more_variable
- ccadical_disconnect_external_propagator
- ccadical_disconnect_fixed_listener
- ccadical_disconnect_proof_tracer
- ccadical_failed
- ccadical_fixed
- ccadical_force_backtrack
- ccadical_freeze
- ccadical_frozen
- ccadical_get_option
- ccadical_init
- ccadical_irredundant
- ccadical_is_decision
- ccadical_limit
- ccadical_melt
- ccadical_phase
- ccadical_print_statistics
- ccadical_release
- ccadical_remove_observed_var
- ccadical_reset_observed_vars
- ccadical_set_learn
- ccadical_set_option
- ccadical_set_terminate
- ccadical_signature
- ccadical_simplify
- ccadical_solve
- ccadical_terminate
- ccadical_unphase
- ccadical_val
- ccadical_vars