Software:
- Authen::PAM - a perl interface to the unix PAM library.
- idsat - reducing inductive definitions (ID-logic) to propositional satisfiability (SAT)
|
|
| | Home | Software | Publications | Contact | |
|
Welcome to my home site
Software:
|