diff --git a/src/misc/util/utilAigSim.c b/src/misc/util/utilAigSim.c
index a12d71d81..ce15aa303 100644
--- a/src/misc/util/utilAigSim.c
+++ b/src/misc/util/utilAigSim.c
@@ -25,7 +25,14 @@
 #include <assert.h>
 #include <ctype.h>
 #include <time.h>
-#include <unistd.h>   // mkstemp(), close(), unlink()
+#if defined(_MSC_VER) || defined(__MINGW32__)
+#include <windows.h>
+#include <process.h>
+#include <io.h>
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
 
 #define AIGSIM_LIBRARY_ONLY
 
diff --git a/src/misc/util/utilNet.c b/src/misc/util/utilNet.c
index db21c8c3b..f24a41a9d 100755
--- a/src/misc/util/utilNet.c
+++ b/src/misc/util/utilNet.c
@@ -22,8 +22,12 @@
 #include <stdlib.h>
 #include <string.h>
 #include <assert.h>
-#include <unistd.h>
 #include <time.h>
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
 
 #include "abc_global.h"
 
diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
index a80f97330..5e92003d1 100644
--- a/src/sat/bmc/bmcMaj8.c
+++ b/src/sat/bmc/bmcMaj8.c
@@ -206,7 +206,7 @@ static int Exa8_ManVarReserve( Exa8_Man_t * p )
 {
     int nMintMax = 1 << p->nVars;
     int nVarsPerMint = p->pPars->fUseIncr ? p->nNodes : (p->nLutSize + 1) * p->nNodes;
-    int64_t nTotal = (int64_t)p->iVar + (int64_t)nVarsPerMint * nMintMax;
+    ABC_INT64_T nTotal = (ABC_INT64_T)p->iVar + (ABC_INT64_T)nVarsPerMint * nMintMax;
     if ( nTotal > INT_MAX )
         nTotal = INT_MAX;
     return (int)nTotal;
diff --git a/src/sat/bmc/bmcMaj9.c b/src/sat/bmc/bmcMaj9.c
index cc15c153a..777003d28 100644
--- a/src/sat/bmc/bmcMaj9.c
+++ b/src/sat/bmc/bmcMaj9.c
@@ -27,7 +27,11 @@
 #include "base/main/main.h"
 #include "base/cmd/cmd.h"
 
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
 #include <unistd.h>
+#endif
 #include <limits.h>
 
 #define KISSAT_UNSAT 20