2007-11-01 | Klaus Kaempf | First try on a (ruby based) policy engine |
commit | commitdiff | tree |
2007-10-29 | Klaus Kaempf | keep 'bool'ness in the comment |
commit | commitdiff | tree |
2007-10-22 | Klaus Kaempf | make it compile on 64bit |
commit | commitdiff | tree |
2007-10-02 | Klaus Kaempf | prep for package |
commit | commitdiff | tree |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' |
commit | commitdiff | tree |