mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
12 lines
374 B
ReStructuredText
12 lines
374 B
ReStructuredText
Theory of Floating-Points
|
|
======================================
|
|
|
|
|
|
.. api-examples::
|
|
<examples>/api/cpp/floating_point_arith.cpp
|
|
<examples>/api/c/floating_point_arith.c
|
|
<examples>/api/java/FloatingPointArith.java
|
|
<examples>/api/python/pythonic/floating_point.py
|
|
<examples>/api/python/floating_point.py
|
|
<examples>/api/smtlib/floating_point_arith.smt2
|