Package Details: act-expropt-git 0.1.r66.b4f4b14-1

Git Clone URL: (read-only, click to copy)
Package Base: act-expropt-git
Description: The ExprOpt Library is used to optimize the sets of expressions by using external synthesis tools.
Upstream URL:
Licenses: GPL-2.0
Conflicts: act-expropt
Provides: act-expropt
Submitter: TheBitFighter
Maintainer: TheBitFighter
Last Packager: TheBitFighter
Votes: 0
Popularity: 0.000000
First Submitted: 2024-06-06 14:10 (UTC)
Last Updated: 2024-06-06 14:10 (UTC)

Dependencies (9)

Required by (2)

Sources (2)