sat-encodings

There are 0 repository under sat-encodings topic.

• SoftVarE-Group / BroT

  Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

  sat-encodingscase-studydsleclipsebrotfeatureideconstrainttu-braunschweig
  Language:HTML 4

• Groszczu / numbrix

  Numbrix puzzle SAT encoding

  sat-encodingspysatnumbrix
  Language:Python 2

• pindakaashq / pindakaas

  A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

  satpseudo-booleancnfsat-encodings
  Language:Rust 1