(library
 (name std)
 (libraries hsim solvers))
