diff options
| author | adam <adam> | 2017-04-29 18:31:42 +0000 |
|---|---|---|
| committer | adam <adam> | 2017-04-29 18:31:42 +0000 |
| commit | 33c682013747777a8d86cdabe0341b85e1708831 (patch) | |
| tree | 408a072aac7c1357a8eb0cbd06d2ed546e7fb97a /math/z3 | |
| parent | 07315b2647eb2bb513949f5bb94855c920256739 (diff) | |
| download | pkgsrc-33c682013747777a8d86cdabe0341b85e1708831.tar.gz | |
Changes 1.64.0:
New Libraries
Process library by Klemens D. Morgenstern, that provides cross platorm ways to allows you to:
* create child processes
* setup streams for child processes
* communicate with child processes through streams (synchronously or asynchronously)
* wait for processes to exit (synchronously or asynchronously)
* terminate processes
Diffstat (limited to 'math/z3')
0 files changed, 0 insertions, 0 deletions