Libraries for computing classical mechanics problems using the notation of Structure and Interpretation of Classical Mechanics