Compile SPUR to WebAssembly using emscripten
-
Updated
Feb 5, 2020 - C++
Compile SPUR to WebAssembly using emscripten
This program checks if an input CNF is satisfiable or not to check logical entailment.
CNF Certification is now part of the Cloud Native Telcom Initiative's test catalog focus area @ https://github.com/lfn-cnti/certification
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
To convert propositional formula onto its equivalent CNF form
GW Tester demo initial version
Problem Solving: A Practical Workbook
Automatically checks whether a given propositional formula is satisfiable.
Library for working with binary logic and satisfiability equations
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
CNF Solver using Evolutionary Algorithm and Parameters search.
A small CNF-SAT solver implementing simple conflict driven clause learning (CDCL) and a simple branching heuristic.
Almost Perfectly Non-linear (APN) S-box problem generator
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."