v0.13.0

What's Changed

Breaking Changes

• feat!: Implement existential quantifiers, defeasible defaults, and epistemic logic by @m62624 in #64

Documentation

• docs(readmes): add --max-conflicts / max_conflicts to CLI and MCP docs by @m62624 in #65

Full Changelog: v0.12.0...v0.13.0

---

elenchus-cli 0.13.0

Install elenchus-cli 0.13.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.13.0/elenchus-cli-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/m62624/elenchus/releases/download/v0.13.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.13.0

File	Platform	Checksum
elenchus-cli-aarch64-apple-darwin.tar.xz	Apple Silicon macOS	checksum
elenchus-cli-x86_64-apple-darwin.tar.xz	Intel macOS	checksum
elenchus-cli-aarch64-pc-windows-msvc.zip	ARM64 Windows	checksum
elenchus-cli-aarch64-pc-windows-msvc.msi	ARM64 Windows	checksum
elenchus-cli-x86_64-pc-windows-msvc.zip	x64 Windows	checksum
elenchus-cli-x86_64-pc-windows-msvc.msi	x64 Windows	checksum
elenchus-cli-aarch64-unknown-linux-gnu.tar.xz	ARM64 Linux	checksum
elenchus-cli-x86_64-unknown-linux-gnu.tar.xz	x64 Linux	checksum

elenchus-mcp 0.13.0

Install elenchus-mcp 0.13.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.13.0/elenchus-mcp-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/m62624/elenchus/releases/download/v0.13.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.13.0

File	Platform	Checksum
elenchus-mcp-aarch64-apple-darwin.tar.xz	Apple Silicon macOS	checksum
elenchus-mcp-x86_64-apple-darwin.tar.xz	Intel macOS	checksum
elenchus-mcp-aarch64-pc-windows-msvc.zip	ARM64 Windows	checksum
elenchus-mcp-aarch64-pc-windows-msvc.msi	ARM64 Windows	checksum
elenchus-mcp-x86_64-pc-windows-msvc.zip	x64 Windows	checksum
elenchus-mcp-x86_64-pc-windows-msvc.msi	x64 Windows	checksum
elenchus-mcp-aarch64-unknown-linux-gnu.tar.xz	ARM64 Linux	checksum
elenchus-mcp-x86_64-unknown-linux-gnu.tar.xz	x64 Linux	checksum