crates.io "boolean" keyword
solhop-types 0.1.0
Types for SolHOP1 version - Latest release: over 5 years ago - 3 dependent packages - 4.86 thousand downloads total - 0 stars on GitHub - 1 maintainer
fast-boolean-anf-transform 0.0.3
Fast implementation of the boolean Algebraic Normal Form (ANF) transform3 versions - Latest release: over 1 year ago - 3.82 thousand downloads total - 0 stars on GitHub - 1 maintainer
bool_traits 0.1.1
Use boolean expressions as trait bounds.2 versions - Latest release: about 2 years ago - 1 dependent package - 2.86 thousand downloads total - 1 maintainer
boolenum 0.1.0
Derive From<bool> and Into<bool> for your boolean enums1 version - Latest release: almost 6 years ago - 1 dependent package - 1 dependent repositories - 659 thousand downloads total - 2 stars on GitHub - 1 maintainer
rsat-cli
SolHOP SAT Solver1 version - Latest release: 4 days ago - 1.34 thousand downloads total - 1 maintainer
Top 4.0% on crates.io
37 versions - Latest release: about 2 months ago - 875 dependent packages - 4,184 dependent repositories - 150 million downloads total - 206 stars on GitHub - 2 maintainers
predicates 3.1.4
An implementation of boolean-valued predicate functions.37 versions - Latest release: about 2 months ago - 875 dependent packages - 4,184 dependent repositories - 150 million downloads total - 206 stars on GitHub - 2 maintainers
Top 4.4% on crates.io
15 versions - Latest release: about 2 months ago - 16 dependent packages - 4,004 dependent repositories - 134 million downloads total - 206 stars on GitHub - 1 maintainer
predicates-tree 1.0.13
Render boolean-valued predicate functions results as a tree.15 versions - Latest release: about 2 months ago - 16 dependent packages - 4,004 dependent repositories - 134 million downloads total - 206 stars on GitHub - 1 maintainer
Top 4.4% on crates.io
12 versions - Latest release: about 2 months ago - 12 dependent packages - 4,007 dependent repositories - 134 million downloads total - 174 stars on GitHub - 1 maintainer
predicates-core 1.0.10
An API for boolean-valued predicate functions.12 versions - Latest release: about 2 months ago - 12 dependent packages - 4,007 dependent repositories - 134 million downloads total - 174 stars on GitHub - 1 maintainer
neco-brep 0.1.0
Analytical B-Rep engine with boolean operations1 version - Latest release: 6 days ago - 0 downloads total - 1 maintainer
sqlexpr-congo-rust 1.0.0
Parser for SqlExprParser - Generated by CongoCC1 version - Latest release: about 1 month ago - 25 downloads total - 0 stars on GitHub - 1 maintainer
bqrs 0.1.3
apply boolean query to text4 versions - Latest release: about 8 years ago - 6.88 thousand downloads total - 4 stars on GitHub - 1 maintainer
boolean_function 0.1.2
Mathematical analysis of Boolean functions9 versions - Latest release: 8 months ago - 7.78 thousand downloads total - 0 stars on GitHub - 1 maintainer
pindakaas-cadical 0.3.2
build of the Cadical SAT solver for the pindakaas crate6 versions - Latest release: about 2 months ago - 2.49 thousand downloads total - 4 stars on GitHub - 1 maintainer
rustollens 0.1.0
A small and experimental library with a type-level representation of booleans with companion conn...1 version - Latest release: over 5 years ago - 1.68 thousand downloads total - 3 stars on GitHub - 1 maintainer
boolean-enums 0.4.1
Generate enums with Yes and No variants. Supports no_std and serde.9 versions - Latest release: 4 months ago - 2 dependent repositories - 34.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
espresso-logic 3.1.2
Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)7 versions - Latest release: 5 months ago - 293 downloads total - 1 maintainer
negate 0.1.1
Attribute macro that generates negated versions of functions that return booleans.2 versions - Latest release: over 4 years ago - 3.09 thousand downloads total - 11 stars on GitHub - 1 maintainer
buf-rand 0.1.3
this crate contains a buffered randomizer for creating random booleans efficiently4 versions - Latest release: over 5 years ago - 6.32 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 5.3% on crates.io
64 versions - Latest release: 4 months ago - 42 dependent packages - 45 dependent repositories - 6.82 million downloads total - 374 stars on GitHub - 1 maintainer
evalexpr 13.1.0
A powerful arithmetic and boolean expression evaluator64 versions - Latest release: 4 months ago - 42 dependent packages - 45 dependent repositories - 6.82 million downloads total - 374 stars on GitHub - 1 maintainer
libreda-logic 0.0.3
Logic library for LibrEDA.2 versions - Latest release: almost 2 years ago - 2.93 thousand downloads total - 0 stars on codeberg.org - 1 maintainer
falsehoods 1.0.0
permissive human-friendly boolean parsing from strings1 version - Latest release: about 1 month ago - 163 downloads total - 1 maintainer
hashmapbool 0.1.1
The new and improved way to use boolean values in your rust code, requiring heap allocation and w...2 versions - Latest release: 10 months ago - 880 downloads total - 0 stars on GitHub - 1 maintainer
bool-logic 0.3.3 💰
A library for manipulating and evaluating boolean expressions6 versions - Latest release: 5 months ago - 1 dependent package - 12.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
assert_that 0.1.2
Helper macros for use with boolean-valued predicate functions.3 versions - Latest release: almost 6 years ago - 2 dependent packages - 2 dependent repositories - 7.21 thousand downloads total - 1 stars on GitHub - 1 maintainer
clipper2 0.5.3
A polygon Clipping and Offsetting library for Rust.14 versions - Latest release: 10 months ago - 260 thousand downloads total - 15 stars on GitHub - 1 maintainer
eight-booleans 0.2.0
A small Rust library to store and manipulate 8 booleans in a single byte.2 versions - Latest release: 4 months ago - 63 downloads total - 2 maintainers
path-kit 0.1.0
Rust path operations library based on Skia PathKit - union, intersect, simplify, stroke, RRect1 version - Latest release: 16 days ago - 0 downloads total - 1 maintainer
boolnetevo 0.4.0
Evolve populations of boolean networks to approximate bitstring functions and their (unknown) inv...4 versions - Latest release: about 5 years ago - 5.78 thousand downloads total - 1 maintainer
pindakaas-derive 0.1.0
derive macros for the pindakaas crate to connect to SAT solvers1 version - Latest release: 9 months ago - 636 downloads total - 6 stars on GitHub - 1 maintainer
pindakaas 0.4.1
Encoding Integer and Pseudo Boolean constraints into CNF9 versions - Latest release: about 2 months ago - 4.06 thousand downloads total - 4 stars on GitHub - 1 maintainer
pindakaas-intel-sat 0.2.0
build of the Intel SAT solver for the pindakaas crate2 versions - Latest release: 7 months ago - 920 downloads total - 4 stars on GitHub - 1 maintainer
pyndakaas 0.4.1
Python bindings for the pindakaas crate8 versions - Latest release: about 2 months ago - 1.31 thousand downloads total - 4 stars on GitHub - 1 maintainer
bigwise 0.4.0
Bitwise operations on fixed-size, arbitrary big buffer of bytes.4 versions - Latest release: over 10 years ago - 8.33 thousand downloads total - 1 maintainer
bool_expr_parser 0.3.13
Boolean expresion parser and evaluation library1 version - Latest release: almost 4 years ago - 1.13 thousand downloads total - 1 stars on GitHub - 1 maintainer
boolvec 0.2.6
A vector of boolean stored contiguously in memory.7 versions - Latest release: almost 6 years ago - 2 dependent packages - 1 dependent repositories - 52.1 thousand downloads total - 1 maintainer
pindakaas-kissat 0.2.2
build of the Kissat SAT solver for the pindakaas crate4 versions - Latest release: about 2 months ago - 1.09 thousand downloads total - 10 stars on GitHub - 1 maintainer
fbool 0.1.0
Boolean function analysis library: entanglement, entropy, sensitivity, spectral analysis, frontie...1 version - Latest release: 18 days ago - 0 downloads total - 1 maintainer
bool_ext 0.7.0
A crate which defines and implements a complete set of `Option`/`Result`-style Boolean functional...16 versions - Latest release: over 1 year ago - 4 dependent packages - 18 dependent repositories - 71.2 thousand downloads total - 8 stars on GitHub - 1 maintainer
bitset-matrix 0.1.0
Space-efficient, row-major 2D bitset matrix with fast bitwise ops1 version - Latest release: 3 months ago - 23 downloads total - 1 maintainer
rsat 0.1.12
SAT Solver13 versions - Latest release: over 5 years ago - 3 dependent packages - 3 dependent repositories - 20.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
truthy 2.0.0
Check if a value is "truthy"4 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 7.36 thousand downloads total - 0 stars on GitHub - 1 maintainer
clipper-sys 0.8.0
Boolean operations on polygons (Clipper wrapper)12 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 448 thousand downloads total - 9 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver2 versions - Latest release: over 5 years ago - 1 dependent package - 4.08 thousand downloads total - 0 stars on GitHub - 1 maintainer
f_times
Simple crate offering a way to do something float times.1 version - Latest release: 23 days ago - 1.59 thousand downloads total - 0 stars on GitHub - 1 maintainer
clipper2c-sys 0.1.5
Exposing unsafe FFI for Clipper2 library for Rust.6 versions - Latest release: 10 months ago - 1 dependent package - 252 thousand downloads total - 1 stars on GitHub - 1 maintainer
predicate-macros 0.1.0
Easy to implement predicate crate traits1 version - Latest release: over 4 years ago - 1 dependent package - 2.32 thousand downloads total - 2 stars on GitHub - 1 maintainer
solhop 0.1.0
SAT and MaxSAT Solver1 version - Latest release: over 5 years ago - 1.82 thousand downloads total - 0 stars on GitHub - 1 maintainer
quick-bool 0.1.0 💰
A lock-free boolean implementation using atomic operations1 version - Latest release: 8 months ago - 381 downloads total - 1 stars on GitHub - 1 maintainer
fool 0.0.4
Traits for interoperation of Boolean and sum types.4 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 15.8 thousand downloads total - 0 stars on GitHub - 1 maintainer
clipper2-sys 0.5.0
Polygon Clipping and Offsetting (Clipper2 wrapper)6 versions - Latest release: about 1 year ago - 8.45 thousand downloads total - 1 maintainer
quine-mccluskey 1.0.1
Boolean function minimizer based on Quine–McCluskey algorithm.2 versions - Latest release: about 1 year ago - 2.26 thousand downloads total - 1 stars on GitHub - 1 maintainer
condtype 1.3.0
Choose types at compile-time via boolean constants.4 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 4.49 million downloads total - 68 stars on GitHub - 1 maintainer
polygon_clipping 0.1.0
An algorithm for computing boolean operations on polygons.1 version - Latest release: over 2 years ago - 2.03 thousand downloads total - 14 stars on GitHub - 1 maintainer
bitwise_boolean 0.1.0
A Rust macro to generate bitwise boolean getters and setters for a struct with u8 field storing u...1 version - Latest release: almost 2 years ago - 1.51 thousand downloads total - 0 stars on GitHub - 1 maintainer
apbool 0.1.999
Just arbitrary precision boolean arithmetic for Rust.1 version - Latest release: about 4 years ago - 1.89 thousand downloads total - 1 stars on GitHub - 1 maintainer
bool-tag-expr 0.1.0-beta.2
Parse boolean expressions of tags for filtering and selecting2 versions - Latest release: 27 days ago - 255 downloads total - 1 maintainer
heavy_duty_bools 0.1.4
A library for working with heavy-duty boolean values.5 versions - Latest release: about 1 year ago - 3.74 thousand downloads total - 1 stars on GitHub - 1 maintainer
cgar 0.2.0
CGAL-like computational geometry library in Rust3 versions - Latest release: 6 months ago - 794 downloads total - 1 maintainer
predicate 0.1.0
Use enum to predicate something, support & and | operator.1 version - Latest release: over 4 years ago - 9 dependent repositories - 7.96 thousand downloads total - 9 stars on GitHub - 1 maintainer
dynamic_bitset 1.0.2
A dynamic bitset using a vector to store 32 bit unsigned integers. Provides a serde feature flag ...3 versions - Latest release: 5 months ago - 78 downloads total - 1 maintainer
truth-values 0.1.0
Generate all possible combinations of N bools1 version - Latest release: almost 2 years ago - 1.47 thousand downloads total - 0 stars on GitHub - 1 maintainer
sqlexpr-rust 1.0.2
A SQL expression parser and evaluator in Rust3 versions - Latest release: 30 days ago - 125 downloads total - 1 maintainer
geo-clipper 0.9.0
Boolean operations on polygons12 versions - Latest release: about 1 year ago - 7 dependent packages - 9 dependent repositories - 431 thousand downloads total - 36 stars on GitHub - 1 maintainer
Related Keywords
logic
16
rust
14
sat
11
satisfiability
11
bool
7
expression
7
predicate
6
polygon
6
encoding
6
cnf
6
pseudo-boolean
6
sat-encodings
6
geometry
5
match
5
enum
4
parser
4
clip
4
math
4
solver
4
combinatorial
4
evaluator
3
clipper
3
clipper2
3
bitwise
3
algorithm
3
unsat
3
testing
3
predicates
3
maxsat
3
macro
2
algorithms
2
cnc
2
game-development
2
geospatial
2
yes
2
no
2
gis
2
offsetting
2
offset
2
bitset
2
truthy
2
path-tracing
2
bits
2
filter
2
assert
2
rust-lang
2
2d-graphics
2
sat-solver
2
sql
2
maxsat-solver
2
extension
1
performance
1
lock-free
1
atomic
1
result
1
ffi-wrapper
1
ffi-bindings
1
float
1
times
1
crates
1
sls
1
satifiability
1
cdcl
1
simd
1
matrix
1
bit-matrix
1
functional
1
combinator
1
arbitrary-precision
1
boolean-algebra
1
boolean-logic
1
high-tech
1
mathematics
1
programming
1
rust-crate
1
rust-library
1
special
1
yes-no
1
tagging
1
mesh
1
delaunay
1
dynamic
1
serde
1
bitshift
1
truth-table
1
product
1
iterator
1
geo
1
conversion
1
option
1
minimize
1
quine-mccluskey
1
type
1
const
1
condition
1
depend
1
conditional
1
types
1
intersection
1
union
1