abcl-asdf: Rename SATISFY to RESOLVE.
Re-jiggle the exported symbols Sharpen documentation, adding docstrings. Freshen README.markdown.
Showing
Please register or sign in to comment
Re-jiggle the exported symbols Sharpen documentation, adding docstrings. Freshen README.markdown.