constrainedrandom

Randomizer library

A Python package for creating and solving constrained randomization problems in design automation

A Python package for creating and solving constrained randomization problems.

GitHub

15 stars
4 watching
3 forks
Language: Python
last commit: almost 2 years ago
Linked from 1 awesome list

constrainedconstrained-randomconstraintrandomrandomizationverification

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
jamesdouble/randmymodGenerates randomized instances of custom data models with customizable randomness behavior18
imikimi/literate_randomizerA Ruby gem that generates near-English prose using Markov chains.110
lanl/nchoosekA programming framework for expressing constraints across classical and quantum computing architectures5
zhihaillm/wisdominterrogatoryA tool for generating cryptographically secure random numbers suitable for various use cases, including cryptographic protocols and simulations.495
lysxia/generic-randomA Haskell package providing generic random generators for arbitrary data types.81
dwavesystems/penaltymodelA library for mapping constraints to low-dimensional optimization problems19
ircmaxell/randomlibA utility for generating cryptographically secure random numbers and strings844
grey-area/qcircuitsA Python package for simulating small-scale quantum computers using the quantum circuit model.58
aviate-labs/rand.moPseudo Random Number Generator implementation in Motoko5
bluscreenofjeff/malleable-c2-randomizerA script to generate randomized versions of Malleable C2 profiles433
treyhunner/pseudorandom.nameA Python-based web application generating random names22
skarupke/controlled_randomA C++ library providing a high-performance random number generator with deterministic and non-deterministic modes20
retraigo/fortunaA TypeScript module for creating weighted random selection systems with varying degrees of randomness and distinctness.20
okeuday/quickrandAn Erlang module providing efficient random number generation functions with proper seeding41
mdiep/logicianA logic programming library for Swift that uses constraints to solve problems195