search

michael-veksler / solver

1 stars 0 forks source link

Implemented binary_domain #3

Closed michael-veksler closed 11 months ago

michael-veksler commented 11 months ago

Binary_domain efficiently manages a domain that has {false, true} as the set of legal values.