2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
limboole 1.1-1 0 0.00 A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. pointhi
openems 0.0.35-1 0 0.00 a free and open source EC-FDTD solver pointhi

2 packages found. Page 1 of 1.