minisat-0.4.4
- minisat 0.4.4
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- luteberget
- Dependencies
- itertools ^0.8 normal
  quickcheck ^0.7 dev
  sudoku ^0.7 dev
  bindgen ^0.42 build
  cc ^1 build
- Versions
Platform
- x86_64-apple-darwin
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

[−][src]Function minisat::sys::minisat_solve_begin

pub unsafe extern "C" fn minisat_solve_begin(s: *mut minisat_solver)