Workspace of mettalog on Built-In Node

	__init__.cpython-312.pyc	Sep 17, 2024, 8:42:52 AM	196 B
	test_boolalg.cpython-312.pyc	Sep 17, 2024, 8:42:52 AM	113.04 KiB
	test_dimacs.cpython-312.pyc	Sep 17, 2024, 8:42:52 AM	4.71 KiB
	test_inference.cpython-312.pyc	Sep 17, 2024, 8:42:52 AM	24.60 KiB
	test_lra_theory.cpython-312.pyc	Sep 17, 2024, 8:42:52 AM	28.33 KiB
(all files in zip)