Merge pull request #26 from unsat/sympy

moving to Sympy
dynaroars · Oct 17, 2021 · a6b8afd · a6b8afd
2 parents 774ef94 + fb2ff6b
commit a6b8afd
Show file tree

Hide file tree

Showing 23 changed files with 917 additions and 710 deletions.
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2019 ThanhVu Nguyen
+Copyright (c) 2021 ThanhVu Nguyen
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal