Solver
======

.. doxygentypedef:: stp_terminate_callback
   :project: stp-c

.. doxygentypedef:: stp_text_sink
   :project: stp-c

.. doxygentypedef:: stp_text_source
   :project: stp-c

.. doxygentypedef:: stp_fatal_error_handler
   :project: stp-c

.. doxygentypedef:: stp_cnf_sink
   :project: stp-c

.. doxygenfunction:: stp_solver_new
   :project: stp-c

.. doxygenfunction:: stp_solver_delete
   :project: stp-c

.. doxygenfunction:: stp_solver_failed
   :project: stp-c

.. doxygenfunction:: stp_solver_failed_num_terms
   :project: stp-c

.. doxygenfunction:: stp_solver_failed_term
   :project: stp-c

.. doxygenfunction:: stp_solver_failed_num_sorts
   :project: stp-c

.. doxygenfunction:: stp_solver_failed_sort
   :project: stp-c

.. doxygenfunction:: stp_solver_clear_error
   :project: stp-c

.. doxygenfunction:: stp_solver_manager
   :project: stp-c

.. doxygenfunction:: stp_solver_set_str
   :project: stp-c

.. doxygenfunction:: stp_solver_set_bool
   :project: stp-c

.. doxygenfunction:: stp_solver_set_int64
   :project: stp-c

.. doxygenfunction:: stp_solver_set_uint64
   :project: stp-c

.. doxygenfunction:: stp_solver_set_duration_ms
   :project: stp-c

.. doxygenfunction:: stp_solver_set_names
   :project: stp-c

.. doxygenfunction:: stp_solver_set_bool_e
   :project: stp-c

.. doxygenfunction:: stp_solver_set_int64_e
   :project: stp-c

.. doxygenfunction:: stp_solver_set_uint64_e
   :project: stp-c

.. doxygenfunction:: stp_solver_set_str_e
   :project: stp-c

.. doxygenfunction:: stp_solver_set_duration_ms_e
   :project: stp-c

.. doxygenfunction:: stp_solver_set_args
   :project: stp-c

.. doxygenfunction:: stp_solver_get_str
   :project: stp-c

.. doxygenfunction:: stp_solver_get_bool
   :project: stp-c

.. doxygenfunction:: stp_solver_get_int64
   :project: stp-c

.. doxygenfunction:: stp_solver_get_uint64
   :project: stp-c

.. doxygenfunction:: stp_solver_get_duration_ms
   :project: stp-c

.. doxygenfunction:: stp_solver_resolved_str
   :project: stp-c

.. doxygenfunction:: stp_solver_option_is_set
   :project: stp-c

.. doxygenfunction:: stp_solver_reset_option
   :project: stp-c

.. doxygenfunction:: stp_solver_reset_all_options
   :project: stp-c

.. doxygenfunction:: stp_solver_resolve_options
   :project: stp-c

.. doxygenfunction:: stp_solver_options_copy
   :project: stp-c

.. doxygenfunction:: stp_solver_assert
   :project: stp-c

.. doxygenfunction:: stp_solver_push
   :project: stp-c

.. doxygenfunction:: stp_solver_pop
   :project: stp-c

.. doxygenfunction:: stp_solver_level
   :project: stp-c

.. doxygenfunction:: stp_solver_declared_logic
   :project: stp-c

.. doxygenfunction:: stp_solver_num_assertions
   :project: stp-c

.. doxygenfunction:: stp_solver_assertion
   :project: stp-c

.. doxygenfunction:: stp_solver_reset_assertions
   :project: stp-c

.. doxygenfunction:: stp_solver_reset
   :project: stp-c

.. doxygenfunction:: stp_solver_check_sat
   :project: stp-c

.. doxygenfunction:: stp_solver_check_sat_assuming
   :project: stp-c

.. doxygenfunction:: stp_solver_check_sat_budget
   :project: stp-c

.. doxygenfunction:: stp_solver_entails
   :project: stp-c

.. doxygenfunction:: stp_solver_last_reason_message
   :project: stp-c

.. doxygenfunction:: stp_solver_num_unsat_assumptions
   :project: stp-c

.. doxygenfunction:: stp_solver_unsat_assumption
   :project: stp-c

.. doxygenfunction:: stp_solver_model
   :project: stp-c

.. doxygenfunction:: stp_solver_candidate_model
   :project: stp-c

.. doxygenfunction:: stp_solver_value
   :project: stp-c

.. doxygenfunction:: stp_solver_interrupt
   :project: stp-c

.. doxygenfunction:: stp_solver_clear_interrupt
   :project: stp-c

.. doxygenfunction:: stp_solver_interrupt_pending
   :project: stp-c

.. doxygenfunction:: stp_solver_set_terminator
   :project: stp-c

.. doxygenfunction:: stp_solver_statistics
   :project: stp-c

.. doxygenfunction:: stp_solver_symbol
   :project: stp-c

.. doxygenfunction:: stp_solver_parse_smt2
   :project: stp-c

.. doxygenfunction:: stp_solver_parse
   :project: stp-c

.. doxygenfunction:: stp_solver_parse_file
   :project: stp-c

.. doxygenfunction:: stp_solver_parse_term
   :project: stp-c

.. doxygenfunction:: stp_solver_to_smt2
   :project: stp-c

.. doxygenfunction:: stp_solver_to_string
   :project: stp-c

.. doxygenfunction:: stp_solver_write_cnf
   :project: stp-c

.. doxygenfunction:: stp_solver_set_diagnostic_sink
   :project: stp-c

.. doxygenfunction:: stp_solver_parse_source
   :project: stp-c

.. doxygenfunction:: stp_solver_set_output_sink
   :project: stp-c

.. doxygenfunction:: stp_solver_set_fatal_error_handler
   :project: stp-c

.. doxygenfunction:: stp_solver_set_cnf_sink
   :project: stp-c