symbolic logic program, creates and edits and solves