STP (Q46504): Difference between revisions

@@ Property / described by source @@
+A Decision Procedure for Bit-Vectors and Arrays
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI software profile
@@ Property / MaRDI profile type: MaRDI software profile / rank @@
+Normal rank
@@ Property / source code repository @@
+https://github.com/stp/stp
@@ Property / source code repository: https://github.com/stp/stp / rank @@
+Normal rank
@@ Property / Software Heritage ID @@
+swh:1:snp:248e6139a163606dc94a26477298ea34605b635d
+Normal rank
+source code repository: https://github.com/stp/stp
+point in time: 7 March 2024Timestamp +2024-03-07T00:00:00Z
Timezone +00:00
Calendar ⧼valueview-expert-timevalue-calendar-gregorian⧽
Precision 1 day
Before 0
After 0
-Timestamp
++2024-03-07T00:00:00Z
-Timezone
++00:00
-Calendar
+⧼valueview-expert-timevalue-calendar-gregorian⧽
-Precision
+day
 Before
 After
@@ links / mardi / name / links / mardi / name @@
+Software:46504