| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
| * | cvc3: update from 2.2 to 2.4.1 | Nixpkgs Monitor | 2013-12-18 |
| * | Adding CVC3 satisfiability modulo theory (SMT) solver | Michael Raskin | 2010-12-05 |