sat-encodings

There are 4 repositories 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'
Language:HTML4 2 00
Groszczu/numbrix
Numbrix puzzle SAT encoding
Language:Python2 1 00
pindakaashq/pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Language:Rust1 3 01
royvanrijn/sattor
Language:Java1 2 0