varisat-internal-macros-0.2.2
- varisat-internal-macros 0.2.2
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jix
- Dependencies
- proc-macro2 ^1.0.20 normal
  quote ^1.0.7 normal
  regex ^1.1.6 normal
  syn ^1.0.40 normal
  synstructure ^0.12.4 normal
- Versions
- 33.33% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Crate varisat_internal_macros

varisat_internal_macros0.2.2

All Items

Crate Items

Derive Macros

Crate varisat_internal_macros

Expand description

Internal macros for the Varisat SAT solver.

Derive Macros§

ConfigUpdate
DocDefault