UNPKG
@logic-pad/core
Version:
latest (0.26.3)
0.26.3
0.26.2
0.26.1
0.26.0
0.25.3
0.25.2
0.25.1
0.25.0
0.24.0
0.23.2
0.23.1
0.23.0
0.22.1
0.22.0
0.21.0
0.20.0
0.19.1
0.19.0
0.18.0
0.17.1
0.17.0
0.16.0
0.15.3
0.15.2
0.15.1
0.15.0
0.14.0
0.13.4
0.13.3
0.13.2
0.13.1
0.13.0
0.12.6
0.12.5
0.12.4
0.12.3
0.12.2
0.12.1
0.12.0
0.11.4
0.11.3
0.11.0
0.10.2
0.10.1
0.10.0
0.9.0
0.7.0
0.6.1
0.6.0
0.5.0
0.4.6
0.4.5
0.4.4
0.4.2
0.4.1
0.4.0
0.3.0
0.2.2
0.2.1
0.2.0
0.1.6
0.1.4
0.1.3
0.1.2
0.1.1
0.1.0
github.com/hlysine/logic-pad
hlysine/logic-pad
@logic-pad/core
/
dist
/
data
/
solver
/
z3
/
modules
/
index.d.ts
4 lines
(3 loc)
•
114 B
TypeScript
View Raw
1
2
3
4
import
Z3Module
from
'./z3Module.js'
;
declare
const
allZ3Modules
:
Map
<
string
, Z3Module>;
export
{ allZ3Modules };