Pinned Loading

1. 2xnf_sat_solving 2xnf_sat_solving Public

   Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

   5

2. 2-Xornado 2-Xornado Public

   Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

   C++ 4

3. xnf_sat_solving xnf_sat_solving Public

   Source code of dissertation 'SAT Solving Using XOR-OR-AND Normal Forms and Cryptographic Fault Attacks'.

4. Xorricane Xorricane Public

   Conflict-Driven SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

   C++

5. discogs_wantlist_notifier discogs_wantlist_notifier Public

   Home Assistant Custom Integration that offers a service to check your Discogs wantlist for offers on sale that meet specified quality and price criterions.

   Python 1

6. Epilarm Epilarm Public archive

   Movement-based detection of generalized tonic-clonic seizures using a Galaxy Watch Active 2.

   JavaScript 2