- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.sat4j.org/
- 软件文档: http://www.sat4j.org/doc.php
软件介绍
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
程序员成长的烦恼
吴亮、周金桥、李春雷、周礼 / 华中科技大学出版社 / 2011-4 / 28.00元
还在犹豫该不该转行学编程？还在编程的道路上摸爬滚打？在追寻梦想的道路上你并不孤单，《程序员成长的烦恼》中的四位“草根”程序员也曾有过类似的困惑。看看油田焊接技术员出身的周金桥是如何成功转行当上程序员的，做过钳工、当过外贸跟单员的李春雷是如何自学编程的，打小在486计算机上学习编程的吴亮是如何一路坚持下来的，工作中屡屡受挫、频繁跳槽的周礼是如何找到出路的。 《程序员成长的烦恼》记录了他们一步一......一起来看看 《程序员成长的烦恼》 这本书的介绍吧!
