List of all items

Structs

• CaDiCal
• bridge::ffi::ClauseIterator
• bridge::ffi::ExternalPropagator
• bridge::ffi::FileTracer
• bridge::ffi::FixedAssignmentListener
• bridge::ffi::InternalTracer
• bridge::ffi::Learner
• bridge::ffi::Solver
• bridge::ffi::StatTracer
• bridge::ffi::State
• bridge::ffi::Status
• bridge::ffi::Terminator
• bridge::ffi::Tracer
• bridge::ffi::WitnessIterator

Enums

• State
• Status

Traits

• ClauseIterator
• ExternalPropagator
• FixedAssignmentListener
• Learner
• Terminator
• WitnessIterator

Functions

• bridge::ffi::active
• bridge::ffi::add
• bridge::ffi::add_observed_var
• bridge::ffi::assume
• bridge::ffi::build
• bridge::ffi::clause1
• bridge::ffi::clause2
• bridge::ffi::clause3
• bridge::ffi::clause4
• bridge::ffi::clause5
• bridge::ffi::clause6
• bridge::ffi::clause7
• bridge::ffi::close_proof_trace
• bridge::ffi::conclude
• bridge::ffi::configurations
• bridge::ffi::configure
• bridge::ffi::connect_external_propagator
• bridge::ffi::connect_fixed_listener
• bridge::ffi::connect_learner
• bridge::ffi::connect_proof_tracer1
• bridge::ffi::connect_proof_tracer2
• bridge::ffi::connect_proof_tracer3
• bridge::ffi::connect_proof_tracer4
• bridge::ffi::connect_terminator
• bridge::ffi::constrain
• bridge::ffi::constraint_failed
• bridge::ffi::constructor
• bridge::ffi::copy
• bridge::ffi::disconnect_external_propagator
• bridge::ffi::disconnect_fixed_listener
• bridge::ffi::disconnect_learner
• bridge::ffi::disconnect_proof_tracer1
• bridge::ffi::disconnect_proof_tracer2
• bridge::ffi::disconnect_proof_tracer3
• bridge::ffi::disconnect_terminator
• bridge::ffi::failed
• bridge::ffi::fixed
• bridge::ffi::flip
• bridge::ffi::flippable
• bridge::ffi::flush_proof_trace
• bridge::ffi::force_backtrack
• bridge::ffi::freeze
• bridge::ffi::frozen
• bridge::ffi::generate_cubes
• bridge::ffi::get
• bridge::ffi::inconsistent
• bridge::ffi::irredundant
• bridge::ffi::is_decision
• bridge::ffi::is_preprocessing_option
• bridge::ffi::is_valid_configuration
• bridge::ffi::is_valid_limit
• bridge::ffi::is_valid_long_option
• bridge::ffi::is_valid_option
• bridge::ffi::limit
• bridge::ffi::lookahead
• bridge::ffi::melt
• bridge::ffi::new_clause_iterator
• bridge::ffi::new_fixed_assignment_listener
• bridge::ffi::new_learner
• bridge::ffi::new_terminator
• bridge::ffi::new_witness_iterator
• bridge::ffi::optimize
• bridge::ffi::options
• bridge::ffi::phase
• bridge::ffi::prefix
• bridge::ffi::read_dimacs1
• bridge::ffi::read_dimacs2
• bridge::ffi::read_dimacs3
• bridge::ffi::read_dimacs4
• bridge::ffi::redundant
• bridge::ffi::remove_observed_var
• bridge::ffi::reserve
• bridge::ffi::reset_assumptions
• bridge::ffi::reset_constraint
• bridge::ffi::reset_observed_vars
• bridge::ffi::resources
• bridge::ffi::set
• bridge::ffi::set_long_option
• bridge::ffi::signature
• bridge::ffi::simplify
• bridge::ffi::solve
• bridge::ffi::state
• bridge::ffi::statistics
• bridge::ffi::status
• bridge::ffi::terminate
• bridge::ffi::trace_proof1
• bridge::ffi::trace_proof2
• bridge::ffi::traverse_clauses
• bridge::ffi::traverse_witnesses_backward
• bridge::ffi::traverse_witnesses_forward
• bridge::ffi::unphase
• bridge::ffi::usage
• bridge::ffi::val
• bridge::ffi::vars
• bridge::ffi::version
• bridge::ffi::write_dimacs
• bridge::ffi::write_extension