Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with satisfiability-problem
A curated list of projects in awesome lists tagged with satisfiability-problem .
https://github.com/jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram
Last synced: 04 Dec 2024
https://github.com/giovanni-ottaviano/lcsd-sat-transition
Investigation of the data-driven satisfiability transition in the linear classification of structured data
cpp machine-learning physics python pytorch satisfiability-problem
Last synced: 11 Nov 2024
