Quantitative logic

Random allocations


Constraint solvers