UFNIA (reference) in projects: dports - OpenGrok search results

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:UFNIA (Results 1 – 25 of 25) sorted by relevance

/dports/math/cvc4/CVC4-1.7/test/regress/regress1/fmf/
H A D	fmf-fun-divisor-pp.smt2	`3 (set-logic UFNIA)`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A D	Types.hs	`207 …\| UFNIA -- ^ Non-linear integer arithmetic with uninterpreted sort and function symbo… constructor 241 show UFNIA = "UFNIA"`
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/nl/
H A D	bug698.smt2	`2 (set-logic UFNIA)`
H A D	nl-unk-quant.smt2	`3 (set-logic UFNIA)`
H A D	nl-help-unsat-quant.smt2	`3 (set-logic UFNIA)`
H A D	quant-nl.smt2	`3 (set-logic UFNIA)`
/dports/math/cvc4/CVC4-1.7/contrib/
H A D	run-script-smtcomp2015-application	`35 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|BV\|UF\|UFBV\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smteval2013	`30 AUFLIA\|AUFLIRA\|AUFNIRA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2014-application	`35 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|BV\|UF\|UFBV\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2017-unsat-cores	`29 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|UF\|UFIDL\|UFLIA\|UFLRA\|UFNIA\|UFDT\|UFDTLIA\|AUFDTLIA\|AUFBVDTLIA)`
H A D	run-script-smtcomp2018-unsat-cores	`29 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|UF\|UFIDL\|UFLIA\|UFLRA\|UFNIA\|UFDT\|UFDTLIA\|AUFDTLIA\|AUFBVDTLIA\|AUFNIA\|ABVF…`
H A D	run-script-smtcomp2014	`36 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|BV\|UF\|UFBV\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2015	`36 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|BV\|UF\|UFBV\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2015-assertions	`41 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|BV\|UF\|UFBV\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2016	`44 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|UF\|UFIDL\|UFLIA\|UFLRA\|UFNIA)`
H A D	run-script-smtcomp2017	`49 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|UF\|UFIDL\|UFLIA\|UFLRA\|UFNIA\|UFDT\|UFDTLIA\|AUFDTLIA\|AUFBVDTLIA)`
H A D	run-script-smtcomp2018	`54 ALIA\|AUFLIA\|AUFLIRA\|AUFNIRA\|UF\|UFIDL\|UFLIA\|UFLRA\|UFNIA\|UFDT\|UFDTLIA\|AUFDTLIA\|AUFBVDTLIA\|AUFNIA)`
/dports/math/cvc4/CVC4-1.7/src/parser/smt1/
H A D	smt1.h	`73 UFNIA, enumerator`
H A D	smt1.cpp	`58 logicMap["UFNIA"] = UFNIA; in newLogicMap() 315 case UFNIA: in setLogic()`
/dports/math/yices/yices-2.6.2/src/api/
H A D	smt_logic_codes.h	`93 UFNIA, // uninterpreted functions + non-linear integer arithmetic enumerator`
H A D	smt_logic_codes.c	`185 UFNIA,`
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/
H A D	rel-trigger-unusable.smt2	`3 (set-logic UFNIA)`
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/
H A D	logics.py	`589 UFNIA = Logic(name="UFNIA", variable 631 UFNIA,`
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A D	bug812.smt2	`1 (set-logic UFNIA)`
/dports/math/yices/yices-2.6.2/doc/manual/
H A D	manual.tex	`298 %% UFNIA 374 \textsf{UFNIA} & \desc{Nonlinear Integer Arithmetic, Quantifiers, Uninterpreted Functions} & no \\`