小编Alb*_*rto的帖子

我正在 python 中试验 z3。我有以下模型：

(set-option :produce-models true)
(set-logic QF_AUFBV )
(declare-fun a () (Array (_ BitVec 32) (_ BitVec 8) ) )
(declare-fun another () (Array (_ BitVec 32) (_ BitVec 8) ) )
(assert (and  (=  false (=  (_ bv77 32) (concat  (select  a (_ bv3 32) ) (concat  (select  a (_ bv2 32) ) (concat  (select  a (_ bv1 32) ) (select  a (_ bv0 32) ) ) ) ) ) ) (=  false (=  (_ bv12 32) …

使用flutter和charts_flutter包我想绘制一个烛台图以及其他线（例如macd）和底部的交易量。不幸的是，我无法理解如何与图表的其余部分一起绘制蜡烛。有人愿意向我展示有关如何执行此操作的示例代码吗？蜡烛甚至可以用一条垂直线及其顶部的矩形来表示。

可以在这里看到几个示例图

多谢