constrainedrandom

Randomizer

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

A Python package for creating and solving constrained randomization problems.

GitHub

15 stars
4 watching
3 forks
Language: Python
last commit: about 1 month ago
Linked from 1 awesome list

constrainedconstrained-randomconstraintrandomrandomizationverification

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
jamesdouble/randmymod Generates randomized instances of custom data models with customizable randomness behavior 18
imikimi/literate_randomizer A Ruby gem that generates near-English prose using Markov chains. 110
lanl/nchoosek A programming framework for expressing constraints across classical and quantum computing architectures 5
zhihaillm/wisdominterrogatory A tool for generating cryptographically secure random numbers suitable for various use cases, including cryptographic protocols and simulations. 491
lysxia/generic-random A Haskell package providing generic random generators for arbitrary data types. 81
dwavesystems/penaltymodel A library for mapping constraints to low-dimensional optimization problems 19
ircmaxell/randomlib A utility for generating cryptographically secure random numbers and strings 843
grey-area/qcircuits A Python package for simulating small-scale quantum computers using the quantum circuit model. 58
aviate-labs/rand.mo Pseudo Random Number Generator implementation in Motoko 5
bluscreenofjeff/malleable-c2-randomizer A script to generate randomized versions of Malleable C2 profiles 433
treyhunner/pseudorandom.name A Python-based web application generating random names 22
skarupke/controlled_random A C++ library providing a high-performance random number generator with deterministic and non-deterministic modes 19
retraigo/fortuna A TypeScript module for creating weighted random selection systems with varying degrees of randomness and distinctness. 20
okeuday/quickrand An Erlang module providing efficient random number generation functions with proper seeding 41
mdiep/logician A logic programming library for Swift that uses constraints to solve problems 195