도구
로딩 중...
Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
10월 2008
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.
크기 : 501924