5 projects
sign-crn
SageMath package for (chemical) reaction networks using sign vector conditions
certlin
SageMath package for linear inequality systems and certifying (un)solvability
sign-vectors
SageMath package for sign vectors, oriented matroids and chirotopes
elementary-vectors
SageMath package for circuits of a matrix (elementary vectors)
