There are 0 repository under nra topic.
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
OpenRIMS is a Free and Open Source Software (FOSS) to assist National Medicines Regulatory Authorities in their routine tasks. It allows the creation of country-specific business processes.