PyPI recent updates for pyNMMS https://pypi.org/project/pynmms/ Recent updates to the Python Package Index for pyNMMS en 0.6.1 https://pypi.org/project/pynmms/0.6.1/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Wed, 04 Mar 2026 21:09:43 GMT 0.6.0 https://pypi.org/project/pynmms/0.6.0/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Wed, 25 Feb 2026 18:19:17 GMT 0.5.1 https://pypi.org/project/pynmms/0.5.1/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Mon, 23 Feb 2026 23:42:32 GMT 0.5.0 https://pypi.org/project/pynmms/0.5.0/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Mon, 23 Feb 2026 23:23:07 GMT 0.4.0 https://pypi.org/project/pynmms/0.4.0/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Mon, 23 Feb 2026 05:11:24 GMT 0.3.0 https://pypi.org/project/pynmms/0.3.0/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Mon, 23 Feb 2026 01:05:28 GMT 0.2.3 https://pypi.org/project/pynmms/0.2.3/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Sun, 22 Feb 2026 23:24:27 GMT 0.2.2 https://pypi.org/project/pynmms/0.2.2/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Sun, 22 Feb 2026 23:06:29 GMT 0.2.1 https://pypi.org/project/pynmms/0.2.1/ An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3. Sun, 22 Feb 2026 22:28:49 GMT 0.2.0 https://pypi.org/project/pynmms/0.2.0/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS with restricted quantifiers, from Hlobil & Brandom 2025 Sun, 22 Feb 2026 22:07:04 GMT 0.1.4 https://pypi.org/project/pynmms/0.1.4/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS from Hlobil & Brandom 2025 Sun, 22 Feb 2026 03:03:34 GMT 0.1.3 https://pypi.org/project/pynmms/0.1.3/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS from Hlobil & Brandom 2025 Sat, 21 Feb 2026 19:29:46 GMT 0.1.2 https://pypi.org/project/pynmms/0.1.2/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS from Hlobil & Brandom 2025 Sat, 21 Feb 2026 18:11:46 GMT 0.1.1 https://pypi.org/project/pynmms/0.1.1/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS from Hlobil & Brandom 2025 Sat, 21 Feb 2026 01:34:37 GMT 0.1.0 https://pypi.org/project/pynmms/0.1.0/ Non-Monotonic Multi-Succedent sequent calculus — propositional NMMS from Hlobil & Brandom 2025 Sat, 21 Feb 2026 01:22:52 GMT