明经CAD社区

 找回密码
 注册

QQ登录

只需一步,快速开始

搜索
查看: 731|回复: 3

[图形系统] cad.net 约束求解器第三篇-Z3一个很屌的东西

[复制链接]
发表于 2025-6-15 16:26:24 | 显示全部楼层 |阅读模式
本帖最后由 你有种再说一遍 于 2025-6-15 21:42 编辑

小学毕业的我们都知道
x+1=2:
这个一元一次方程,我们把2当作约束条件.
x^3+1=42:
这个一元三次方程,我们把42和3次方当作约束条件.

然后我们顺利跳级来到了大学,
大学无非就是把这种问题改成多解,无解,短时间内难解,
也就是约束求解从我们念书时候就始终贯穿如今,
没错,这种就叫程序就叫约束求解器.

什么?你说这样说不够吸引你去学习?
你要不要辅导孩子做作业?不要?
那么 塞尔达传说 这个游戏够不够?
想知道如何实现解密关卡的实现吗?

Z3是微软开源的一个约束求解器,
用来解方程简直一流啊,
真是念书少了要靠工具解了,嘻嘻.

https://www.cnblogs.com/JJBox/p/18927891
回复

使用道具 举报

发表于 2025-6-16 14:32:20 | 显示全部楼层
沙发,惊惊牛逼。。。。
回复 支持 反对

使用道具 举报

发表于 2025-6-17 13:06:23 | 显示全部楼层
板凳,惊惊牛逼。。。。
回复 支持 反对

使用道具 举报

发表于 2025-6-18 11:19:05 | 显示全部楼层
西瓜,惊惊牛逼。。。。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

小黑屋|手机版|CAD论坛|CAD教程|CAD下载|联系我们|关于明经|明经通道 ( 粤ICP备05003914号 )  
©2000-2023 明经通道 版权所有 本站代码,在未取得本站及作者授权的情况下,不得用于商业用途

GMT+8, 2025-7-14 16:45 , Processed in 0.223654 second(s), 22 queries , Gzip On.

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表