MassimoLauria/cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
PythonGPL-3.0
Stargazers
- abetuskIthaca, NY
- alessanderbottiBrazil
- alexeyignatievMonash University
- catch22Ruhr-University Bochum
- CpHaddockUniversity of Toronto
- cpresseyOffice... submarine!
- cvinerUPenn (Postdoc)
- DaiDongyangShanghai
- gabrielsanchezSan Antonio
- grosa1University of Molise - UNIMOL
- GuangyuLNYU
- junkyul
- junya-yamaguchi
- marccaneSpain
- mhlr
- mlavrent@microsoft
- mpharriganGoogle
- msoosBerlin, Germany
- negrinhoAmazon
- peqnpsciencePEQNP
- philzook58Draper
- prateekkumarwebApple (@apple)
- prince-ph0en1xFujitsu Research India Private Limited
- prpr2770University of Colorado Boulder
- RexYuan@sifive
- rutopioTaiwan
- sakuragiyuuto
- sukrutraoMax Planck Institute for Informatics
- TBirdSoars
- themichaelyang@stripe
- togatogaTokyo
- toutou6366Lanzhou
- trietptmTRIETPTM INFOSEC
- UdopiaKarlsruhe Institute of Technology
- yxliang01Place Where Sky Is Visible
- zhangj1anNational University of Singapore