Skip to content

Releases: m62624/elenchus

Release list

v0.15.1

v0.15.1 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Jul 12:20
v0.15.1
edd1a5e

What's Changed

Bug Fixes

  • fix(wasm): strip the CLI/MCP "Run it" appendix from the wasm skill by @m62624 in #73

Maintenance

  • ci: add mirror-tangled workflow by @m62624 in #71

Full Changelog: v0.15.0...v0.15.1

elenchus-cli 0.15.1

Install elenchus-cli 0.15.1

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.15.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.15.1/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.15.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.15.1

Install elenchus-mcp 0.15.1

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.15.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.15.1/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.15.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

Contributors

m62624
Assets 45

v0.15.0

v0.15.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Jul 09:17
v0.15.0
913e1dd

What's Changed

Other Changes

  • feat!: proof kernel — PROVE, HENCE, MENTIONED, TOTAL, TRY FOR, PREFERS by @m62624 in #69

Full Changelog: v0.14.0...v0.15.0

elenchus-cli 0.15.0

Install elenchus-cli 0.15.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.15.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.15.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.15.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.15.0

Install elenchus-mcp 0.15.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.15.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.15.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.15.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

Contributors

m62624
Loading

v0.14.0

v0.14.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Jul 19:39
v0.14.0
8172c0d

What's Changed

New Features

  • feat(compiler): two-phase multi-file compile by @m62624 in #67

Full Changelog: v0.13.0...v0.14.0

elenchus-cli 0.14.0

Install elenchus-cli 0.14.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.14.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.14.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.14.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.14.0

Install elenchus-mcp 0.14.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.14.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.14.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.14.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

Contributors

m62624
Loading

v0.13.0

v0.13.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Jul 04:57
v0.13.0
ef27386

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

Contributors

m62624
Loading

v0.12.0

v0.12.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 30 Jun 19:42
v0.12.0
0c06309

What's Changed

New Features

  • feat(lang): closure family, EXISTS, and a per-keyword cost model in SPEC by @m62624 in #49

Refactoring

  • refactor: split lib.rs into focused modules by @m62624 in #51

Documentation

  • docs: add AGENTS.md contracts for compiler, solver, and MCP by @m62624 in #52

Maintenance

  • chore: stop tracking proptest regression-seed files by @m62624 in #53

Full Changelog: v0.11.0...v0.12.0

elenchus-cli 0.12.0

Install elenchus-cli 0.12.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.12.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.12.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.12.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.12.0

Install elenchus-mcp 0.12.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.12.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.12.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.12.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

Contributors

m62624
Loading

v0.11.0

v0.11.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Jun 17:04
v0.11.0
8cefeb1

What's Changed

New Features

  • feat(ports): qualified domain.port keys, atom injection, data-file paths by @m62624 in #46

Maintenance

  • test(ports): cover qualified keys, atom injection by @m62624 in #47

Full Changelog: v0.10.0...v0.11.0

elenchus-cli 0.11.0

Install elenchus-cli 0.11.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.11.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.11.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.11.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.11.0

Install elenchus-mcp 0.11.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.11.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.11.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.11.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

Contributors

m62624
Loading

v0.10.0

v0.10.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Jun 12:44
v0.10.0
5a0d162

What's Changed

Breaking Changes

  • feat!: add VAR and PROVIDE statements with port resolution by @m62624 in #42

New Features

  • feat(mcp): add a filesystem path entry mode alongside inline files by @m62624 in #44

Documentation

Full Changelog: v0.9.2...v0.10.0

elenchus-cli 0.10.0

Install elenchus-cli 0.10.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.10.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.10.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.10.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.10.0

Install elenchus-mcp 0.10.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.10.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.10.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.10.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

Contributors

m62624
Loading

v0.9.2

v0.9.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Jun 17:11
v0.9.2
3df28a1

What's Changed

New Features

  • feat: ship elenchus over npm (wasm) for host embedding by @m62624 in #39

Full Changelog: v0.9.1...v0.9.2

elenchus-cli 0.9.2

Install elenchus-cli 0.9.2

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.9.2/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.2/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.9.2

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

Install elenchus-mcp 0.9.2

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.9.2/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.2/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.9.2

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

Contributors

m62624
Loading

v0.9.1

v0.9.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Jun 11:14
v0.9.1
75084e9

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

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

Contributors

dependabot and m62624
Loading

v0.9.0

v0.9.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 22 Jun 07:13
v0.9.0
c8d7d7c

What's Changed

New Features

  • feat(quantification): SET + FOR EACH ... IN grounding by @m62624 in #30

Full Changelog: v0.8.0...v0.9.0

elenchus-cli 0.9.0

Install elenchus-cli 0.9.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.9.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.9.0/elenchus-cli-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-cli

Download elenchus-cli 0.9.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.9.0

Install elenchus-mcp 0.9.0

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/m62624/elenchus/releases/download/v0.9.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.9.0/elenchus-mcp-installer.ps1 | iex"

Install prebuilt binaries via Homebrew

brew install m62624/elenchus/elenchus-mcp

Download elenchus-mcp 0.9.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

Contributors

m62624
Loading