/[ports]
ViewVC logotype

Revision 527905

Jump to revision: Previous Next
Author: 0mp
Date: Sat Mar 7 00:00:17 2020 UTC (4 years, 3 months ago)
Changed paths: 5
Log Message: 
New port: math/py-claripy

Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

WWW: https://github.com/angr/claripy

PR:		244562

Changed paths

Path Details
Directoryhead/math/Makefile modified , text changed
Directoryhead/math/py-claripy/ added
Directoryhead/math/py-claripy/Makefile added
Directoryhead/math/py-claripy/distinfo added
Directoryhead/math/py-claripy/pkg-descr added
  ViewVC Help
Powered by ViewVC 1.1.27