search
Found 21 packages
Microsoft.Z3✓
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
v4.12.2
↙ 282.6K / total
smtconstraintsolvertheoremprover
Microsoft.Z3.x86✓
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
v4.12.2
↙ 73.1K / total
smtconstraintsolvertheoremprover
pkg
DataTheorem.TrustKit.Net.Core
.NET MAUI interface for TrustKit
v2.0.0.22
↙ 4.2K / total
MAUIcertificatepinningTrustKit
pkg
DataTheorem.TrustKit.Net.Android.Bindings
.NET MAUI bindings for TrustKit.Android
v2.0.0.22
↙ 3.2K / total
MAUIcertificatepinningTrustKit
pkg
DataTheorem.TrustKit.Net.Android
.NET MAUI implementation for TrustKit.Android
v2.0.0.22
↙ 3.3K / total
MAUIcertificatepinningTrustKit
Symbolica.Z3
Z3 built from an arbitrary commit and packaged for dotnet.
v0.1.0
↙ 27.1K / total
SymbolicadotnetZ3smtconstraint
pkg
DataTheorem.TrustKit.Net.iOS
.NET MAUI implementation for TrustKit.iOS
v2.0.0.22
↙ 1.6K / total
MAUIcertificatepinningTrustKit
pkg
Halfcut.SeparatingAxisTheorem.Lib
A Monogame implementation of the Separating Axis Theorem (SAT) for convex polygon intersection
v0.0.2
↙ 477 / total
pkg
DataTheorem.TrustKit.Net.iOS.Bindings
.NET MAUI Bindings for TrustKit.iOS
v2.0.0.22
↙ 1.6K / total
MAUIcertificatepinningTrustKit
Sylph
F# language-integrated proof assistant.
v0.2.5.2
↙ 4.8K / total
mathlogictheoremprover
Z3-20190104
Z3 is a satisfiability modulo theories solver from Microsoft Research.
v4.8.4
↙ 2.0K / total
smtconstraintsolvertheoremprover
pkg
FolAutomReas
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
v1.0.3
↙ 630 / total
logicautomatedreasoninginteractivetheorem
pkg
Calcolemus
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
v1.0.5
↙ 387 / total
logicautomatedreasoninginteractivetheorem
pkg
Calculemus
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
v1.0.6
↙ 408 / total
logicautomatedreasoninginteractivetheorem
pkg
Spaceorc.Z3Wrap
A complete, modern C# wrapper for Microsoft's Z3 theorem prover with unlimited precision arithmetic and type-safe API design.
v0.0.8
↙ 3.7K / total
z3theorem-proversmtsolverconstraint
pkg
TrustKit.Xamarin
Xamarin binding libraries for DataTheorem's TrustKit Certificate Pinning implementations
v1.0.0.35
↙ 3.3K / total
certificatepinningtrustkitxamarinbindings
pkg
FleetLogisticsTestLibrary_20210604
In mathematics, the Pythagorean theorem, or Pythagoras's theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.
v1.0.0
↙ 1.1K / total
pkg
FleetLogisticsTestLibrary_20210604_1
In mathematics, the Pythagorean theorem, or Pythagoras's theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.
v1.0.1
↙ 507 / total
MockNet
A mocking framework to mock HttpClient requests.
v1.0.1
↙ 97.9K / total
system.netsystem.net.httphttpclientmockingmock
pkg
nilnul.geometry._stereo_._LIB_
cubic/3dimension geometry; quaternions are introduced to tackle the space rotation/movement (over time), and abgebra for quaternions can help verify some theorems;
v1.1.251001.141517
↙ 5.8K / total
page 1next →