v0.9.1

What's Changed

Refactoring

• refactor(solver): dedupe the IR→CNF lowering shared by build_cnf and … by @m62624 in #34

Documentation

• docs(skill): teach deriving a negation with RULE to rule a branch out by @m62624 in #32
• docs: reframe README for LLM reasoning and clarify SAT checker by @m62624 in #33

Maintenance

• test: add cargo-tarpaulin coverage (config, Codecov CI) by @m62624 in #35

Dependency Updates

• build: add Dependabot for cargo and github-actions version updates by @m62624 in #36

New Contributors

• @dependabot[bot] made their first contribution in #37

Full Changelog: v0.9.0...v0.9.1

---

elenchus-cli 0.9.1

Install elenchus-cli 0.9.1

Install prebuilt binaries via shell script

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

Install prebuilt binaries via powershell script

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

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.9.1

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.9.1

Install elenchus-mcp 0.9.1

Install prebuilt binaries via shell script

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

Install prebuilt binaries via powershell script

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

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.9.1

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