Keyword: Reduction system

• fdq

  Released

  8 years ago

  Version

  0.0.4

  Finite Domain reduction system and solver by qFox

  constraint solvingGSATfinite domain solverFDReduction systemMinifier+2