chore: release version v0.1.2

Author: zachdaniel

CHANGELOG.md

@@ -10,6 +10,23 @@ See [Conventional Commits](Https://conventionalcommits.org) for commit guideline
 
 <!-- changelog -->
 
+## [v0.1.2](https://github.com/ash-project/crux/compare/v0.1.1...v0.1.2) (2025-10-18)
+
+
+
+
+### Improvements:
+
+* Balance Formula in Expression Conversion (#7) by [@maennchen](https://github.com/maennchen) [(#7)](https://github.com/ash-project/crux/pull/7)
+
+* Exhaustive Expression.expand/2 short-circuits (#5) by [@maennchen](https://github.com/maennchen) [(#5)](https://github.com/ash-project/crux/pull/5)
+
+* enhance idempotent law to handle nested expressions (#6) by [@zachdaniel](https://github.com/zachdaniel) [(#6)](https://github.com/ash-project/crux/pull/6)
+
+* Remove CommutativityLaw in Simplify (#4) by [@maennchen](https://github.com/maennchen) [(#4)](https://github.com/ash-project/crux/pull/4)
+
+* Improve SAT Implementations in Testing (#3) by [@maennchen](https://github.com/maennchen) [(#3)](https://github.com/ash-project/crux/pull/3)
+
 ## [v0.1.1](https://github.com/ash-project/crux/compare/v0.1.0...v0.1.1) (2025-10-15)
 
 

README.md

@@ -42,7 +42,7 @@ Add `crux` to your list of dependencies in `mix.exs`:
 ```elixir
 def deps do
   [
-    {:crux, "~> 0.1.1"},
+    {:crux, "~> 0.1.2"},
     # Choose one SAT solver backend:
     {:picosat_elixir, "~> 0.2"}, # Recommended: Fast NIF-based solver
     # OR

mix.exs

@@ -11,7 +11,7 @@ defmodule Crux.MixProject do
   Library for boolean satisfiability solving and expression manipulation.
   """
 
-  @version "0.1.1"
+  @version "0.1.2"
 
   def project do
     [