dCAQE (Q5974756): Difference between revisions

@@ Property / described by source @@
+Clausal abstraction for DQBF
@@ Property / described by source: Clausal abstraction for DQBF / rank @@
+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/ltentrup/caqe
@@ Property / source code repository: https://github.com/ltentrup/caqe / rank @@
+Normal rank
@@ Property / Software Heritage ID @@
+swh:1:snp:68a42f9c335835d8c6c41583b7d4317002e16908
+Normal rank
+source code repository: https://github.com/ltentrup/caqe
+point in time: 26 May 2023Timestamp +2023-05-26T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2023-05-26T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ links / mardi / name / links / mardi / name @@
+Software:5974756