| .. | | 03-May-2022 | - |
| Properties/ | H | 20-Jan-2021 | - | 39 | 34 |
| AST.cs | H A D | 20-Jan-2021 | 7.7 KiB | 263 | 152 |
| ASTMap.cs | H A D | 20-Jan-2021 | 4.1 KiB | 157 | 84 |
| ASTVector.cs | H A D | 20-Jan-2021 | 7.8 KiB | 265 | 157 |
| AlgebraicNum.cs | H A D | 20-Jan-2021 | 2.1 KiB | 78 | 30 |
| ApplyResult.cs | H A D | 20-Jan-2021 | 2.4 KiB | 99 | 57 |
| ArithExpr.cs | H A D | 20-Jan-2021 | 8.1 KiB | 174 | 63 |
| ArithSort.cs | H A D | 20-Jan-2021 | 546 | 35 | 11 |
| ArrayExpr.cs | H A D | 20-Jan-2021 | 1 KiB | 56 | 26 |
| ArraySort.cs | H A D | 20-Jan-2021 | 1.7 KiB | 74 | 39 |
| BitVecExpr.cs | H A D | 20-Jan-2021 | 876 | 48 | 18 |
| BitVecNum.cs | H A D | 20-Jan-2021 | 2.9 KiB | 123 | 71 |
| BitVecSort.cs | H A D | 20-Jan-2021 | 748 | 43 | 15 |
| BoolExpr.cs | H A D | 20-Jan-2021 | 1.3 KiB | 54 | 20 |
| BoolSort.cs | H A D | 20-Jan-2021 | 635 | 36 | 12 |
| Constructor.cs | H A D | 20-Jan-2021 | 3.7 KiB | 128 | 77 |
| ConstructorList.cs | H A D | 20-Jan-2021 | 1.2 KiB | 60 | 29 |
| Context.cs | H A D | 20-Jan-2021 | 173.7 KiB | 4,854 | 2,408 |
| DatatypeExpr.cs | H A D | 20-Jan-2021 | 721 | 43 | 18 |
| DatatypeSort.cs | H A D | 20-Jan-2021 | 2.9 KiB | 106 | 62 |
| Deprecated.cs | H A D | 20-Jan-2021 | 553 | 35 | 10 |
| EnumSort.cs | H A D | 20-Jan-2021 | 3.5 KiB | 122 | 67 |
| Expr.cs | H A D | 20-Jan-2021 | 79.4 KiB | 1,892 | 495 |
| FPExpr.cs | H A D | 20-Jan-2021 | 1,021 | 53 | 20 |
| FPNum.cs | H A D | 20-Jan-2021 | 6.2 KiB | 190 | 82 |
| FPRMExpr.cs | H A D | 20-Jan-2021 | 747 | 43 | 18 |
| FPRMNum.cs | H A D | 20-Jan-2021 | 3.6 KiB | 101 | 32 |
| FPRMSort.cs | H A D | 20-Jan-2021 | 754 | 43 | 20 |
| FPSort.cs | H A D | 20-Jan-2021 | 1.1 KiB | 53 | 22 |
| FiniteDomainExpr.cs | H A D | 20-Jan-2021 | 666 | 39 | 15 |
| FiniteDomainNum.cs | H A D | 20-Jan-2021 | 2.7 KiB | 115 | 67 |
| FiniteDomainSort.cs | H A D | 20-Jan-2021 | 1.2 KiB | 59 | 30 |
| Fixedpoint.cs | H A D | 20-Jan-2021 | 11.4 KiB | 350 | 199 |
| FuncDecl.cs | H A D | 20-Jan-2021 | 12.7 KiB | 364 | 228 |
| FuncInterp.cs | H A D | 20-Jan-2021 | 6.2 KiB | 222 | 145 |
| Global.cs | H A D | 20-Jan-2021 | 4 KiB | 122 | 37 |
| Goal.cs | H A D | 20-Jan-2021 | 8.6 KiB | 287 | 153 |
| IDecRefQueue.cs | H A D | 20-Jan-2021 | 2.2 KiB | 104 | 62 |
| IntExpr.cs | H A D | 20-Jan-2021 | 694 | 43 | 18 |
| IntNum.cs | H A D | 20-Jan-2021 | 2.7 KiB | 121 | 71 |
| IntSort.cs | H A D | 20-Jan-2021 | 714 | 44 | 20 |
| IntSymbol.cs | H A D | 20-Jan-2021 | 1.5 KiB | 68 | 38 |
| Lambda.cs | H A D | 20-Jan-2021 | 4.2 KiB | 148 | 89 |
| ListSort.cs | H A D | 20-Jan-2021 | 3.3 KiB | 126 | 71 |
| Log.cs | H A D | 20-Jan-2021 | 1.8 KiB | 78 | 30 |
| Microsoft.Z3.Sharp.pc.in | H A D | 20-Jan-2021 | 209 | 8 | 6 |
| Microsoft.Z3.csproj.in | H A D | 20-Jan-2021 | 3.6 KiB | 96 | 75 |
| Microsoft.Z3.props | H A D | 20-Jan-2021 | 1.5 KiB | 24 | 15 |
| Microsoft.Z3.targets | H A D | 20-Jan-2021 | 477 | 12 | 9 |
| Microsoft.Z3.targets.in | H A D | 20-Jan-2021 | 423 | 11 | 10 |
| Model.cs | H A D | 20-Jan-2021 | 11.5 KiB | 335 | 194 |
| Optimize.cs | H A D | 20-Jan-2021 | 14.5 KiB | 472 | 245 |
| ParamDescrs.cs | H A D | 20-Jan-2021 | 3.3 KiB | 125 | 73 |
| Params.cs | H A D | 20-Jan-2021 | 4.9 KiB | 181 | 101 |
| Pattern.cs | H A D | 20-Jan-2021 | 1.6 KiB | 74 | 35 |
| Probe.cs | H A D | 20-Jan-2021 | 2.6 KiB | 102 | 58 |
| Quantifier.cs | H A D | 20-Jan-2021 | 8.8 KiB | 255 | 165 |
| RatNum.cs | H A D | 20-Jan-2021 | 2.7 KiB | 117 | 62 |
| ReExpr.cs | H A D | 20-Jan-2021 | 706 | 43 | 18 |
| ReSort.cs | H A D | 20-Jan-2021 | 730 | 44 | 20 |
| RealExpr.cs | H A D | 20-Jan-2021 | 702 | 43 | 18 |
| RealSort.cs | H A D | 20-Jan-2021 | 715 | 44 | 20 |
| RelationSort.cs | H A D | 20-Jan-2021 | 1.4 KiB | 68 | 33 |
| SeqExpr.cs | H A D | 20-Jan-2021 | 885 | 49 | 22 |
| SeqSort.cs | H A D | 20-Jan-2021 | 714 | 44 | 20 |
| SetSort.cs | H A D | 20-Jan-2021 | 767 | 45 | 21 |
| Solver.cs | H A D | 20-Jan-2021 | 17.2 KiB | 532 | 275 |
| Sort.cs | H A D | 20-Jan-2021 | 5.3 KiB | 165 | 86 |
| Statistics.cs | H A D | 20-Jan-2021 | 6 KiB | 214 | 132 |
| Status.cs | H A D | 20-Jan-2021 | 663 | 47 | 11 |
| StringSymbol.cs | H A D | 20-Jan-2021 | 1.6 KiB | 72 | 38 |
| Symbol.cs | H A D | 20-Jan-2021 | 3.5 KiB | 136 | 71 |
| Tactic.cs | H A D | 20-Jan-2021 | 3.6 KiB | 142 | 81 |
| TupleSort.cs | H A D | 20-Jan-2021 | 2 KiB | 82 | 43 |
| UninterpretedSort.cs | H A D | 20-Jan-2021 | 835 | 45 | 21 |
| Version.cs | H A D | 20-Jan-2021 | 2.5 KiB | 108 | 58 |
| Z3Exception.cs | H A D | 20-Jan-2021 | 817 | 49 | 14 |
| Z3Object.cs | H A D | 20-Jan-2021 | 3.5 KiB | 155 | 103 |
| cmake_install_gac.cmake.in | H A D | 20-Jan-2021 | 535 | 19 | 17 |
| cmake_uninstall_gac.cmake.in | H A D | 20-Jan-2021 | 653 | 21 | 19 |