CreuSAT, SAT 求解器

CreuSAT，用 Rust 实现的 SAT 求解器（SAT solver，https://en.wikipedia.org/wiki/SAT_solver），已通过 Creusot（Creusot，https://github.com/xldenis/creusot）验证。这意味着 CreuSAT 解决了布尔可满足性问题（Boolean Satisfiability Problem，称为 SAT）。

Github链接，https://github.com/sarsko/CreuSAT

Rust 嵌入式生态系统和工具概述

本文探讨了 Rust 嵌入式生态系统。它适用于不熟悉 Rust 嵌入式，不了解可用的工具和库的新手。对于有 Rust 经验但不了解嵌入式的人可能特别有用。希望在阅读这篇文章之后，能够了解何时可能需要某个工具，并且能够在出现用例时识别它，并应该能够确定哪些工具适合和不适合给定的用途。

博文链接，https://www.anyleaf.org/blog/rust-embedded-ecosystem-and-tools

用不到 100 行 Rust 代码构建一个简单的模板引擎

如果你曾经构建过一个全栈 Web 应用程序，那么你可能遇到过模板引擎，例如 Django 或 Flask 提供的模板引擎。这些简洁的实用程序包解析你的 HTML 文件并使用动态内容“填充空白”（可以这么说）。

本教程面向初学者 Rustaceans，但应该熟悉编程和在终端上工作。

博文链接，https://blog.spike.codes/build-a-template-engine

From 日报小组洋芋

社区学习交流平台订阅：

Rustcc论坛: 支持rss
微信公众号：Rust语言中文社区

ITPub博客

【Rust日报】2022-06-18 Rust 嵌入式生态系统和工具概述

Rust 嵌入式生态系统和工具概述

用不到 100 行 Rust 代码构建一个简单的模板引擎

最新文章