Changes between Version 31 and Version 32 of OldWikiStart
- Timestamp:
- Jul 2, 2012 5:36:10 PM (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
OldWikiStart
v31 v32 13 13 * libabac, a linkable C/C++ library 14 14 * Perl and Python bindings to libabac 15 * a [wiki:JavaSupport native Java] reimplementation of libabac ????16 * an XML-RPC pre-prover17 15 * creddy, a command line credential management tool 18 16 * abac_prover_yap, a rudimentary command line prover with YAP