Packages

semantic_verifier

0.1.3

0.2.0-rc.2 0.1.3 0.1.2 0.1.1 0.1.0

Pure Elixir SMT-LIB2 formal verification engine for FrameNet Semantic IR with persistent Z3 session pools.

HexDocs Report package

Current section

5 Versions

Jump to

Readme 5 Versions 1 Dependency 0 Dependants Files Activity

Versions

Compare versions

0.2.0-rc.2

August 23, 2026

0.1.3

August 21, 2026

0.1.2

August 21, 2026

0.1.1

August 21, 2026

0.1.0

August 21, 2026

Version	Publish Date	Note	Actions
0.2.0-rc.2	August 23, 2026
0.1.3	August 21, 2026
0.1.2	August 21, 2026
0.1.1	August 21, 2026
0.1.0	August 21, 2026

5 versions of 5 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

yesterday

last 7 days

all time

180

Last Updated

Aug 21, 2026

License

Apache-2.0

Build Tools

mix

Publisher

collective-mind

Owners

collective-mind

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

semantic_verifier

Versions

Checksum

Dependency Config

Package Details

Links

Owners

Search filters