kani-ext-vllm

0.3.0

vLLM backend for kani

License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published

March 4, 2026

19d ago

Package Registry

PyPI Source Homepage

README badge Customize →

License Sources

Source	License	Class
Licensie (detected)	MIT	Permissive
PyPI (reported)	Not reported	-

No license was reported in the package metadata for this version.

Loading dependencies…

License File

Added Removed Expected

Versions

1 version

Version	License	Published	Status
0.3.0 Latest Viewing	MIT	Mar 4, 2026	Scanned