https://pypi.org/project/bauhaus/ Recent updates to the Python Package Index for bauhaus en https://pypi.org/project/bauhaus/1.2.0/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Wed, 11 Sep 2024 01:00:49 GMT https://pypi.org/project/bauhaus/1.1.4/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Tue, 13 Dec 2022 05:05:21 GMT https://pypi.org/project/bauhaus/1.1.3/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Thu, 07 Jul 2022 02:33:54 GMT https://pypi.org/project/bauhaus/1.1.2/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Fri, 08 Oct 2021 03:31:07 GMT https://pypi.org/project/bauhaus/1.1.1/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Wed, 25 Aug 2021 16:30:34 GMT https://pypi.org/project/bauhaus/1.0.0/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Wed, 16 Dec 2020 19:03:34 GMT https://pypi.org/project/bauhaus/1.0.0.dev0/ Build logical theories for SAT solvers on the fly karishma.daga@queensu.ca, christian.muise@queensu.ca Wed, 16 Dec 2020 03:00:33 GMT