This algorithms computes the clauses needed, to solve Minesweeper and check for satisfiability
-
Updated
Feb 25, 2022 - Python
#
knf
Here are 5 public repositories matching this topic...
DORA (EU 2022/2554) compliance platform for 3rd Line of Defense IT audit. Auto-classifies ICT incidents under Article 18, enforces Article 30 contractual checklists, assesses third-party criticality under Article 31. FastAPI + Streamlit + SQLite. KNF-aligned. IIA 4E audit findings.
-
Updated
Jun 30, 2026 - Python
Organization github markdown profile
-
Updated
Aug 17, 2026
Add this topic to your repo
To associate your repository with the knf topic, visit your repo's landing page and select "manage topics."