Module backjump 

Conflict-directed backjumping with bitset conflict tracking.

Structs

BackjumpConfig

Configuration for backjumping search.

Functions

backjump_search

Run backjumping search. Returns up to max_solutions solutions.