DEAL

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

DEAL(SomeNumbers, SomeWithin)

Generates SomeNumbers random numbers within SomeWithin.

Example

DEAL(3,2)

1.7853834431337576 0.970423002855406 0.016082192534959905

Same as Array.deal()