HEX

Server: Apache/2.4.46 (Win64) OpenSSL/1.1.1j PHP/8.4.25

System: Windows NT DESKTOP-4TAV2RJ 10.0 build 19045 (Windows 10) AMD64

User: fred (0)

PHP: 8.4.25

Disabled: NONE

Upload Files

Name	Size	Permissions
ð __pycache__	--	drwxrwxrwx
ð __init__.py	0K	-rw-rw-rw-
ð dpll.py	8.973K	-rw-rw-rw-
ð dpll2.py	20.763K	-rw-rw-rw-
ð lra_theory.py	31.071K	-rw-rw-rw-
ð minisat22_wrapper.py	1.286K	-rw-rw-rw-
ð pycosat_wrapper.py	1.179K	-rw-rw-rw-
ð z3_wrapper.py	3.659K	-rw-rw-rw-