Avatar for Asger Hautop Drewsen from gravatar.com

Asger Hautop Drewsen

Username    Tyilo
Date joined   Joined

2 projects

z4-solver

Last released

z3++

fork-futures

Last released

Provides an alternative to concurrent.futures.ProcessPoolExecutor implemented using fork.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page