Crate pindakaas_intel_sat 

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

Functions

intel_sat_add^⚠

Intel SAT ipasir_add implementation.

intel_sat_assume^⚠

Intel SAT ipasir_assume implementation.

intel_sat_failed^⚠

Intel SAT ipasir_failed implementation.

intel_sat_init^⚠

Intel SAT ipasir_init implementation.

intel_sat_release^⚠

Intel SAT ipasir_release implementation.

intel_sat_set_learn^⚠

Intel SAT ipasir_set_learn implementation.

intel_sat_set_terminate^⚠

Intel SAT ipasir_set_terminate implementation.

intel_sat_signature^⚠

Intel SAT ipasir_signature implementation.

intel_sat_solve^⚠

Intel SAT ipasir_solve implementation.

intel_sat_val^⚠

Intel SAT ipasir_val implementation.