Crate pindakaas_kissat 

This crate provides low-level bindings to the Kissat solver aimed at the Pindakaas library.

Functions

kissat_add^⚠

Kissat ipasir_add implementation

kissat_banner^⚠

C binding for the kissat_banner function

kissat_build^⚠

C binding for the kissat_build function

kissat_compiler^⚠

C binding for the kissat_compiler function

kissat_copyright^⚠

C binding for the kissat_copyright function

kissat_get_option^⚠

C binding for the kissat_get_option function

kissat_has_configuration^⚠

C binding for the kissat_has_configuration function

kissat_id^⚠

C binding for the kissat_id function

kissat_init^⚠

Kissat ipasir_init implementation

kissat_print_statistics^⚠

C binding for the kissat_print_statistics function

kissat_release^⚠

Kissat ipasir_release implementation

kissat_reserve^⚠

C binding for the kissat_reserve function

kissat_set_configuration^⚠

C binding for the kissat_set_configuration function

kissat_set_conflict_limit^⚠

C binding for the kissat_set_conflict_limit function

kissat_set_decision_limit^⚠

C binding for the kissat_set_decision_limit function

kissat_set_option^⚠

C binding for the kissat_set_option function

kissat_set_terminate^⚠

Kissat ipasir_set_terminate implementation

kissat_signature^⚠

Kissat ipasir_signature implementation

kissat_solve^⚠

Kissat ipasir_solve implementation

kissat_terminate^⚠

C binding for the kissat_terminate function

kissat_value^⚠

Kissat ipasir_value implementation

kissat_version^⚠

C binding for the kissat_version function