nra

There are 0 repository under nra topic.

• paultristanwagner / satisfiability-checking

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

  javasat-solversmt-solverlogicsimplexbranch-and-boundtseitin-transformationdpllcdcleqliaequfcylindrical-algebraic-decompositionnon-linearnranon-linear-optimizationbitvectorlinear-integer-programminglinear-programmingsatisfiability-modulo-theories
  Language:Java 4

• 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.

  misnmranraregulatoryrims
  Language:Java 2

• avaj4 / Gun_Control

  New GunControl folder

  nra
  Language:HTML 0