]> http://nik.pelov.name/taxonomy/term/1/0 en http://nik.pelov.name/Authen-PAM <p><br><i>Authen::PAM</i> is a perl module which provides an interface to the PAM library. <p>Currently the following or newer implementations of the PAM library are supported: <ul> <li><a href="http://www.kernel.org/pub/linux/libs/pam/">Linux-PAM</a></li> <li><a href="http://www.sun.com/software/solaris/pam/">Solaris 2.6</a></li> <li><a href="http://www.FreeBSD.org/">FreeBSD 3.1</a></li> <li><a href="http://www.openpam.org">OpenPAM</a> <li><a href="http://docs.hp.com/">HP-UX 11.0</a> <li><a href="http://developer.apple.com/darwin/">Darwin 6.0</a> and of course <a href="http://www.apple.com/macosx/">Mac OS X 10.2</a> </ul> <h2>NEWS</h2> <DL> <DT>2005-Sep-20</DT> <DD>Released version 0.16. One of the main changes is the typemap of pam_handle_t *.<br /> This hopefully fixes some segmentation faults several people reported (for example with perl 5.8.7 on FreeBSD). <!-- <DT>2003-Dec-13</DT> <DD>A lucky user found one of the problems reported by the CPAN Testers for version 0.14. It happens if you are running RedHat with some old revision of glibc 2.2.5. Just upgrade it. --> </DL> Sofware Sat, 10 Sep 2005 10:49:30 +0300 http://nik.pelov.name/idsat <p>idsat is a tool which implements a reduction of the <a href="http://www.cs.kuleuven.be/~maartenm/research/idlogic.html">ID-logic</a> language to propositional satisfiability. Additionally, the tool can call a SAT solver on the translation and so it can be used as a model generator for ID-logic.</p> Sofware Fri, 01 Jul 2005 18:58:42 +0300