wrappers → api Relation

File in include/line/solvers/wrappers	Includes file in include/line/api
jmt / jmt_logs.h	sn / sn_state.h
ldes / ldes_options.h	sim / sim_runlength.h
jmt / solver_jmt.h	sn / sn_predicates.h