search

QuMuLab / dsharp

MIT License
16 stars 5 forks source link

Add the option to only count relevant variables #8

Open haz opened 4 years ago

haz commented 4 years ago

This should ideally do two things:

  1. Only return counts for the relevant set of variables (essentially projecting away the rest)
  2. Stop the search prematurely when a component is satisfiable and only contains irrelevant variables.