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-
ð test_boolalg.py	47.908K	-rw-rw-rw-
ð test_dimacs.py	3.795K	-rw-rw-rw-
ð test_inference.py	14.959K	-rw-rw-rw-
ð test_lra_theory.py	16.439K	-rw-rw-rw-