Docs.rs
xmt-lib-0.1.2
xmt-lib 0.1.2
Docs.rs crate page
MIT
Links
Repository
crates.io
Source
Owners
pcarbonn
Dependencies
chic ^1.2.2
normal
clap ^4.5.34
normal
debug_print ^1.0.0
normal
derive_more ^2
normal
genawaiter ^0.99.1
normal
indexmap ^2.9.0
normal
itertools ^0.14.0
normal
peg ^0.8.5
normal
pretty-sqlite ^0.2.0
normal
regex ^1.11.1
normal
rusqlite ^0.36.0
normal
simplelog ^0.12.2
normal
strum ^0.27.1
normal
strum_macros ^0.27.1
normal
thiserror ^2.0.12
normal
unzip-n ^0.1.2
normal
z3-sys ^0.8.1
normal
Versions
40%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Skip to main content
Module error
xmt_lib
0.1.2
Module error
Module Items
Structs
Enums
Functions
In crate xmt_
lib
xmt_lib
Module
error
Copy item path
Source
Structs
§
Offset
The number of characters since the begin of a source file.
Enums
§
Solver
Error
Functions
§
format_
error
Show the error in the context of the relevant source code.