To run the tool, run any of the Racket files below. tests.rkt gives an overview of each feature (i.e., verification, synthesis, optimization) as well as detailed commentary for guidance. Each file represents a scenario.
asthma.rktis the toy example from the presentation.hypertension.rktencodes hypertension interactions from the case study.tests.rktrepresents an average drug knowledge and tests most features of the DSL.moredrugs.rktrepresents a large set of drugs for benchmarking.moreconflicts.rktrepresents a large set of drugs and conflicts for benchmarking.
In addition to the scenarios, there is three more files:
database.rktcontains lists of drug names, side effects, and properties. This file was supposed to host the data generator.prescriptions.rktcontains the DSL, the encoding, and the implementation.utils.rktcontains various utilities.
Dhruv Yadav, Thomas Schweizer, Dan Cascaval