nra

Here are 3 public repositories matching this topic...

paultristanwagner / satisfiability-checking

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Updated Oct 25, 2024
Java

MSH / OpenRIMS

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.

mis nmra regulatory rims nra

Updated Nov 4, 2024
Java

avaj4 / Gun_Control

Star

New GunControl folder

nra

Updated Aug 22, 2019
HTML

Improve this page

Add a description, image, and links to the nra topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nra topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

nra