# Tess core
`tessellate-core` is the crates.io package for Tess's compiler, deterministic runtime, formatter,
analyzer, bounded trace explorer, and embedded Z3 verification backend. Its Rust library target is
still named `tess`.
```toml
[dependencies]
tess = { package = "tessellate-core", version = "0.2" }
```
```rust
use tess::compile;
```
The Tess language, `tess` command, `.tes` source extension, documentation, and repository all keep
the Tess name. See the [Tess repository](https://github.com/dongho-jung/tess) for language guides,
examples, compatibility policy, and the full public API.
The first build may download an official static Z3 archive into Cargo's cache. The finished library
does not invoke a separate `z3` executable.