Nikolaj Bjorner 7a6070506d #5727 ... Expose diff function, expose allchar in Java API expose op codes for replace/re/all		2021-12-20 10:17:06 -08:00
..
Properties
AlgebraicNum.cs
ApplyResult.cs
ArithExpr.cs
ArithSort.cs
ArrayExpr.cs
ArraySort.cs
AST.cs
ASTMap.cs
ASTVector.cs
BitVecExpr.cs
BitVecNum.cs
BitVecSort.cs
BoolExpr.cs
BoolSort.cs
CharSort.cs	add char sort to .net	2021-07-13 19:43:12 +02:00
cmake_install_gac.cmake.in
cmake_uninstall_gac.cmake.in
CMakeLists.txt	add char sort to .net	2021-07-13 19:43:12 +02:00
Constructor.cs
ConstructorList.cs
Context.cs	#5727	2021-12-20 10:17:06 -08:00
DatatypeExpr.cs
DatatypeSort.cs
Deprecated.cs
EnumSort.cs
Expr.cs
FiniteDomainExpr.cs
FiniteDomainNum.cs
FiniteDomainSort.cs
Fixedpoint.cs
FPExpr.cs
FPNum.cs
FPRMExpr.cs
FPRMNum.cs
FPRMSort.cs
FPSort.cs
FuncDecl.cs
FuncInterp.cs
Global.cs
Goal.cs
IDecRefQueue.cs
IntExpr.cs
IntNum.cs
IntSort.cs
IntSymbol.cs
Lambda.cs
ListSort.cs
Log.cs
Microsoft.Z3.csproj.in	Use osx-x64 for mac rid rather than macos. (#5288)	2021-05-20 15:19:31 -07:00
Microsoft.Z3.props
Microsoft.Z3.Sharp.pc.in
Microsoft.Z3.snk
Microsoft.Z3.targets
Microsoft.Z3.targets.in
Model.cs
Optimize.cs
ParamDescrs.cs
Params.cs
Pattern.cs
Probe.cs
Quantifier.cs
RatNum.cs
RealExpr.cs
RealSort.cs
ReExpr.cs
RelationSort.cs
ReSort.cs
SeqExpr.cs
SeqSort.cs	charsort	2021-07-13 19:50:41 +02:00
SetSort.cs
Solver.cs
Sort.cs
Statistics.cs
Status.cs
StringSymbol.cs
Symbol.cs	fix #4793	2020-11-13 11:45:05 -08:00
Tactic.cs
TupleSort.cs
UninterpretedSort.cs
Version.cs
Z3Exception.cs
Z3Object.cs	remove EnumToNative as it drops reference counts, fixes #5713	2021-12-16 03:22:54 -08:00