sjkillen
/
wfs-operator-experiment
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

aaaa

This commit is contained in:
Spencer Killen 2023-01-12 15:37:43 -07:00
parent a1f9acc6f9
commit 33f8c83763
Signed by: sjkillen
GPG Key ID: F307025B65C860BA
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
hmknf.py
View File

@ -2,6 +2,11 @@ from AST import loadProgram, OFormula, LRule, OBinary, OLiteral, OConst, KB
from itertools import combinations
from sys import flags
# TODO TODO TODO
# separate O atoms from KA atoms? do we care though?
# Expects total assignments
def oformula_sat(o: OFormula, total_T: set[str]):
match o: