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.
15 stars
4 watching
3 forks
Language: Python
last commit: almost 2 years agoLinked from 1 awesome list
constrainedconstrained-randomconstraintrandomrandomizationverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
| Generates randomized instances of custom data models with customizable randomness behavior | 18 | |
| A Ruby gem that generates near-English prose using Markov chains. | 110 | |
| A programming framework for expressing constraints across classical and quantum computing architectures | 5 | |
| A tool for generating cryptographically secure random numbers suitable for various use cases, including cryptographic protocols and simulations. | 495 | |
| A Haskell package providing generic random generators for arbitrary data types. | 81 | |
| A library for mapping constraints to low-dimensional optimization problems | 19 | |
| A utility for generating cryptographically secure random numbers and strings | 844 | |
| A Python package for simulating small-scale quantum computers using the quantum circuit model. | 58 | |
| Pseudo Random Number Generator implementation in Motoko | 5 | |
| A script to generate randomized versions of Malleable C2 profiles | 433 | |
| A Python-based web application generating random names | 22 | |
| A C++ library providing a high-performance random number generator with deterministic and non-deterministic modes | 20 | |
| A TypeScript module for creating weighted random selection systems with varying degrees of randomness and distinctness. | 20 | |
| An Erlang module providing efficient random number generation functions with proper seeding | 41 | |
| A logic programming library for Swift that uses constraints to solve problems | 195 |